Graded category
In mathematics, if A {\displaystyle {\mathcal {A}}} is a category, then a A {\displaystyle {\mathcal {A}}} -graded category is a category C {\displaystyle {\mathcal {C}}} together with a functor F : C → A {\displaystyle F\colon {\mathcal {C}}\rightarrow {\mathcal {A}}} . Monoids and groups can be thought of as categories with a single object.