Category:Discrete Categories

From ProofWiki
Jump to navigation Jump to search

This category contains results about Discrete Categories.


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

Pages in category "Discrete Categories"

The following 2 pages are in this category, out of 2 total.