Matches in DBpedia 2015-10 for { ?s ?p "The category Ord has preordered sets as objects and monotonic functions as morphisms. This is a category because the composition of two monotonic functions is monotonic and the identity map is monotonic.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. This functor has a left adjoint (sending every set to that set equipped with the equality relation) and a right adjoint (sending every set to that set equipped with the total relation)."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Category_of_preordered_sets abstract "The category Ord has preordered sets as objects and monotonic functions as morphisms. This is a category because the composition of two monotonic functions is monotonic and the identity map is monotonic.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. This functor has a left adjoint (sending every set to that set equipped with the equality relation) and a right adjoint (sending every set to that set equipped with the total relation).".