Are chain-complete posets co-wellpowered?

2020/07/05 by Jurka, Jan, Rosický, Jiří
#Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.2007.02255

Abstract

We show that the category of chain-complete posets is nearly locally presentable, we give a characterization of strong epimorphisms, and we offer an alternative proof of co-wellpoweredness.

Related

• d-Complete posets: local structural axioms, properties, and equivalent definitions
• Chain Posets
• Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
• The Aharoni--Korman conjecture for posets whose incomparability graph is locally finite
• Saturated chains in composition posets