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.es:Categorķa de conjuntos preordenados