Category of graded algebras

Let $(𝔄, +)$ be a monoid and $𝕂$ be a field. The category of $𝔄$ -graded algebras over $𝕂$ is a category where an object is a $𝔄$ -graded algebra and a morphism is a $𝔄$ -graded algebra homomorphism. #m/def/ralg

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