๐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)
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)