A category is discrete iff the only morphisms are are the identity.
Remarks
- This corresponds to the free category on a graph with no edges.
- Every Set corresponds precisely with a discrete category.
- The dual of the a discrete category is its indiscrete category.