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