Category of Monoids: TopMon
TopMon is a subcategory of Top whose objects are all internal monoids:
Mon(Top) ≅ TopMon
Note that Top must be a monoidal category in order to even have internal monoids. This is an instance of the Microcosm Principle.
categories_of_monoids: Top, TopMon
This data as json
| internal_monoids | parent |
|---|---|
| TopMon | Top |