Discrete category is a category without morphisms between objects - only identies.
It is used to define limits, you can read about it in Push it to the limit article.
Discrete category is a category without morphisms between objects - only identies.
It is used to define limits, you can read about it in Push it to the limit article.