\begin{definition}[Definition:Discrete Category on Set]
Let $S$ be a set.
The '''discrete category on $S$''' is the discrete category $\mathbf{Dis} \left({S}\right)$ with:
{{DefineCategory
|ob = elements of $S$
|mor = only identity mappings
|comp = composition of mappings
}}
\end{definition}