Partially ordered set

cosmos 18th November 2017 at 9:19pm
Partial ordering

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