Jabarkan , dari Monoid (teori kategori)

Kategori monoid di C dan morfisme monoidnya ditulis Mon'C.

Tindakan-S, kategori monoid yang bekerja pada himpunan