Partial orders are the free conservative cocompletion of total orders
Abstract
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.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.