Pages that link to "Item:Q1241798"
From MaRDI portal
The following pages link to Categories of chain-complete posets (Q1241798):
Displayed 14 items.
- \((\mathcal Z_1,\mathcal Z_2)\)-complete partially ordered sets and their representations by \(\mathcal Q\)-spaces. (Q395671) (← links)
- Completion of Boolean algebras in MSet (Q1035677) (← links)
- Order completion monads (Q1055871) (← links)
- On the algebra of order (Q1143782) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Tree constructions of free continuous algebras (Q1160149) (← links)
- Chain-complete posets and directed sets with applications (Q1227632) (← links)
- Fixed-point constructions in order-enriched categories (Q1255084) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Presenting locale pullback via directed complete posets (Q1434361) (← links)
- A universal characterization of the double powerlocale (Q1434363) (← links)
- Transporting continuity properties from a poset to its subposets (Q2120965) (← links)
- Are chain-complete posets co-wellpowered? (Q2140998) (← links)
- Algebraic specification of data types: A synthetic approach (Q3907066) (← links)