Definition:Graded Object

From ProofWiki
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$.


Also see