K-monoid Category of -monoids Let be a field. The category of -monoids is a category where an object is a K-monoid over and a morphism is a unital algebra homomorphism. falg develop | en | sembr