๐Ÿ“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)

Backlinks

โฆ
Want to receive my ๐Ÿ–‹ posts as I publish them?