PreOrd

$PreOrd$ denotes the category of preorders and order-preserving maps.

The category $PreOrd$ is topological over $Set$ and therefore enjoys strong completeness and cocompleteness properties; see total category. It is also a locally presentable category.

$PreOrd$ is a cartesian closed category. In fact it is an exponential ideal in the cartesian closed category Cat.

Last revised on June 4, 2020 at 07:01:23. See the history of this page for a list of all contributions to it.