Hacker News new | ask | show | jobs
by macrolocal 1536 days ago
In ~300 BCE, Euclid decides to work with morphisms not objects.