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