4 ms·A monoid is (realisable as) the set of morphisms of a category with one object ….by JadeNB 8y agoA monoid is (realisable as) the set of morphisms of a category with one object ….