Spahn Poset

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