Hacker News new | ask | show | jobs
by drablyechoes 2636 days ago
Fun fact: a monoid is a category with one object.
1 comments

A monoid is (realisable as) the set of morphisms of a category with one object ….