Source: wikibot/discrete-category
= Discrete category
{wiki=Discrete_category}
In category theory, a **discrete category** is a specific type of category where the only morphisms are the identity morphisms on each object. This can be formally defined as follows: 1. A discrete category consists of a collection of objects.