Hacker News new | ask | show | jobs
by JadeNB 2643 days ago
A monoid is (realisable as) the set of morphisms of a category with one object ….