Page "Concrete category" Paragraph 15

# Similarly, any poset P may be regarded as an abstract category with a unique arrow x → y whenever x ≤ y.

This can be made concrete by defining a functor D: P → Set which maps each object x to and each arrow x → y to the inclusion map.