Top Qs
Timeline
Chat
Perspective
Graded category
From Wikipedia, the free encyclopedia
Remove ads
In mathematics, if is a category, then a -graded category is a category together with a functor .
This article needs additional citations for verification. (April 2015) |
Monoids and groups can be thought of as categories with a single object. 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.
Remove ads
Definition
Summarize
Perspective
There are various different definitions of a graded category, up to the most abstract one given above. A more concrete definition of a graded abelian category is as follows:[1]
Let be an abelian category and a monoid. Let be a set of functors from to itself. If
- is the identity functor on ,
- for all and
- is a full and faithful functor for every
we say that is a -graded category.
Remove ads
See also
References
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads