Spahn Poset (changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

The category of posets we denote by $Poset$.

$Poset$ has arbitrary limits, colimits, exponentials, and a restricted subobject classifier.

Reference

• Lauri Tart, subobject classification and geometric morphisms of partially ordered acts, masters thesis, pdf