Discrete category
In mathematics, in the field of category theory, a discrete category is a category whose only morphisms are the identity morphisms:
Since by axioms, there is always the identity morphism between the same object, we can express the above as condition on the cardinality of the hom-set