Category theory MOC Category semigroup Let be a commutative ring and be a Small category. The category ring is an R-semigroup constructed from the free module . cat This is a generalization of the Monoid ring in light of Monoids as categories. In the case is finite, this construction gives an extension ring of and is called the category ring which we denote by . Construction We begin with the free module taking the objects as identities convention, and linearly extend the following product for If is finite, then this forms an R-monoid with an identity given by Properties Module over a category ring Special case Path algebra develop | en | sembr