Home Up Random
There is a morphism from every object if every object is less than z, and the uniqueness comes from the fact that preorders are thin categories.