Semigroup object Category of semigroup objects The category of semigroups in , denoted , is a category where an object is a Semigroup object in and a morphism is a homomorphism of semigroup objects. cat develop | en | sembr