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.
Articles by others on the same topic
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.