discrete category

Noun

 * 1)  A category whose morphisms are all identity morphisms.