« Category Theory

Definition. Preorder [0063]

A preorder is a set with a binary relation , that is reflexive and transitive.

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.