MathGloss
A
category
is
discrete
if its morphisms are only the identity morphisms.
Wikidata ID:
Q1228851