A graded category is a mathematical concept.
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.
There are various different definitions of a graded category, up to the most abstract one given above. A more concrete definition of a semigroup-graded Abelian category is as follows:
- is the identity functor on ,
- for all and
- is a full and faithful functor for every
we say that is a -graded category.
|This article needs additional citations for verification. (April 2015)|
|This category theory-related article is a stub. You can help Wikipedia by expanding it.|