# 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)$.