Category of preordered sets

The category Ord has preordered sets as objects and monotonic functions as morphisms. This is a category because the composition of two monotonic functions preserves monotonicity.

The monomorphisms in Ord are the injective monotonic functions.

The empty set (considered as a preordered set) is the initial object of Ord; any singleton preordered set is a terminal object. There are thus no zero objects in Ord.

The product in Ord is given by the product order on the cartesian product.

We have a "forgetful" functor Ord → Set which assigns to each preordered set the underlying set, and to each monotonic function the underlying function. This functor is faithful, and therefore Ord is a concrete category.

---

Follows the Top article. See the discussion page.