\begin{definition}[Definition:Graded Object]
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$.
\end{definition}