« Category Theory

Definition. small Category [005M]

We call a category small if it's morphisms fit in a set.

Backlinks

Observation. Preorders as Categories [0064]

A preorder is precisely a (small) category in which there are no parallel pairs of distinct morphisms between any fixed pair of objects.