Category: Mon

Mon is the category whose objects are monoids and arrows are monoid maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: Mon

This data as json

name objects_hr arrows_hr
Mon monoids monoid maps

Links from other tables