Discrete category
= Discrete category
{wiki}
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.
= Discrete category
{wiki}
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.