Definition:Graded Object
Jump to navigation
Jump to search
Definition
Let $C$ be a category.
Let $S$ be a set.
Let $\mathbf{Dis}(S)$ be its discrete category.
An $S$-graded object of $C$ is a covariant functor $\mathbf{Dis}(S) \to C$.