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 Semigroup morphism. #m/def/cat

#state/develop | #lang/en | #SemBr