In mathematics, in the field of category theory, a discrete category is a category whose only morphisms are the identity morphisms: In mathematics, in the field of category theory, a discrete category is a category whose only morphisms are the identity morphisms: