Partial orders are the free conservative cocompletion of total orders
Calin Tataru · arXiv (Cornell University) · 2024
We show that the category of partially ordered sets $\mathsf{Pos}$ is equivalent to the free conservative cocompletion of the category of finite non-empty totally ordered sets $Δ$, which is also known as the simplex category.