Category: SemiGrp

SemiGrp is the category whose objects are semigroups and arrows are semigroup maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Has all finite limits

Colimits

categories: SemiGrp

This data as json

name objects_hr arrows_hr
SemiGrp semigroups semigroup maps

Links from other tables