I'm reading Mac Lane's category theory book. There's an example on page 123 which assumes Ord to be the ordered set of all small ordinal numbers a, b, ... . It would be a category with hom-set Ord(a , b) empty or the one-point set according as a > b or a <= b.
Can you please explain it?