Definition:Discrete Category

From ProofWiki
Jump to navigation Jump to search

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


Also see


Sources