Coba jelasin , dari Monoid (teori kategori) dong

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

Tindakan-S, kategori monoid yang bekerja pada himpunan