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