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.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: