📝Discrete category

Discrete category is a category where there is no arrows other than identities.

Discrete category can represent a set (i.e., objects are elements, has no structure)