Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added statement of existence of linear extensions (here)
Will give this its own entry at linear extension of a partial order, for ease of referencing
For what interest this may have, I’d imagine this proposition would be provable using just the ultrafilter theorem in place of the axiom of choice. (But I’d have to write out a proof to be sure.)
In the section As a category with extra properties I have hyperlinked several “therefore” and “we may” to the new dedicated entry: relation between preorders and (0,1)-categories
added a “Related concepts”-link to Thomason model structure and pointer to Bruckner’s article on Thomason-cofibrant posets
moved the material from Kolmogorov topological space which is really about turning preorders into partial orders in dependent type theory in the specific case of the specialization order of a topological space to this article
Raymond
1 to 6 of 6