Key points are not available for this paper at this time.
We show that the category of partially ordered sets 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.
Calin Tataru (Fri,) studied this question.