. "Let $(P,\\leq)$ be a partially ordered set, and think of it as a category, i.e. objects are points, arrows are pairs $(x,y)$ with $x\\leq y$." . . .