Definition:Discrete Category

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\CC$ be a metacategory.


Then $\CC$ is said to be discrete if and only if 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$.


Also see

  • Results about discrete categories can be found here.


Sources