Hacker News new | ask | show | jobs
by Koshkin 1202 days ago
> i.e. categories and morphisms

Objects, not categories.