\begin{definition}[Definition:Discrete Category]
Let $\CC$ be a metacategory.
Then $\CC$ is said to be '''discrete''' {{iff}} it comprises only identity morphisms.
If the collection $\CC$ constitutes the objects of $\mathbf C$, then $\mathbf C$ may also be denoted $\map {\mathbf {Dis} } \CC$.
\end{definition}