Partial orders are the free conservative cocompletion of total orders
Calin Tataru
所有作者
Calin Tataru
文献摘要
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.