Semigroup object

Homomorphism of semigroup objects

Let be semigroups in . A semigroup homomorphism is a morphism in such that #m/def/cat

c

These form the morphisms in .

#state/tidy | #lang/en | #SemBr