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