Discrete category
A discrete category is a category in which the only morphisms are identity morphisms. cat
Any Class of objects may be viewed as a discrete category. The Trivial category, the Initial Object in Category of small categories, is itself a discrete category.
It is itself a Disjoint category, Groupoid, and Posetal category.