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