A partially ordered set (or poset) is a Set with a Partial ordering
Any partially ordered set forms a Category, with the arrows corresponding to the order relation. Video, they are examples of Thin category
The set of all posets also forms a category with arrows being Monotone functions