Graded category

From formulasearchengine
Jump to navigation Jump to search

A graded category is a mathematical concept.

If is a category, then a -graded category is a category together with a functor .

Monoids and groups can be thought of as categories with a single element. A monoid-graded or group-graded category is therefore one in which to each morphism is attached an element of a given monoid (resp. group), its grade. This must be compatible with composition, in the sense that compositions have the product grade.

See also

{{ safesubst:#invoke:Unsubst||$N=Unreferenced |date=__DATE__ |$B= {{#invoke:Message box|ambox}} }}