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.
Articles by others on the same topic
The discrete category on a set has that set as its objects and only identity morphisms. Functors from it are exactly assignments of objects in the target category.