Discrete Category

A category $\mathcal{C}$ is discrete iff all morphisms are the identity

Remarks

This corresponds to the free category on a graph with no edges. Every Set corresponds precisely with a discrete category.