Definition:Discrete Category

Definition
Let $\mathbf C$ be a metacategory.

Then $\mathbf C$ is said to be discrete iff it comprises only identity morphisms.

If the collection $\mathcal C$ constitutes the objects of $\mathbf C$, then $\mathbf C$ may also be denoted $\mathbf{Dis} \left({\mathcal C}\right)$.