Category of $𝕂$ -monoids

Let $𝕂$ be a field. The category of $𝕂$ -monoids $𝖬 𝗈 𝗇 𝕂$ is a category where an object is a $𝕂$ -monoid over $𝕂$ and a morphism is a unital algebra homomorphism. #m/def/ralg

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