Category Theory Illustrated – Orders
4 hours ago
- #Partial Orders
- #Order Theory
- #Category Theory
- Order is a set with a binary relation obeying specific laws: reflexivity, transitivity, antisymmetry, and optionally totality.
- Linear (total) orders have comparability for all elements (totality), while partial orders lack totality, allowing incomparable elements.
- Partial orders arise in real-world scenarios like ranking soccer players where not all pairs are comparable.
- Lattices are partial orders where every pair has a join (least upper bound) and meet (greatest lower bound); distributive lattices satisfy additional distribution laws.
- Preorders relax antisymmetry, keeping reflexivity and transitivity, and can model indirect relationships; they are categories with at most one morphism between objects (thin categories).
- Joins in orders correspond to categorical coproducts, and meets correspond to products, illustrating connections between order theory and category theory.