Categories of chain-complete posets
From MaRDI portal
Publication:1241798
DOI10.1016/0304-3975(77)90031-7zbMath0366.18003OpenAlexW2029827187MaRDI QIDQ1241798
Publication date: 1977
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(77)90031-7
Partial orders, general (06A06) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categories of sets, characterizations (18B05)
Related Items (14)
Transporting continuity properties from a poset to its subposets ⋮ Are chain-complete posets co-wellpowered? ⋮ \((\mathcal Z_1,\mathcal Z_2)\)-complete partially ordered sets and their representations by \(\mathcal Q\)-spaces. ⋮ On the algebra of order ⋮ Varieties of chain-complete algebras ⋮ Tree constructions of free continuous algebras ⋮ Presenting locale pullback via directed complete posets ⋮ A universal characterization of the double powerlocale ⋮ Chain-complete posets and directed sets with applications ⋮ Fixed-point constructions in order-enriched categories ⋮ Algebraic specification of data types: A synthetic approach ⋮ Structural induction and coinduction in a fibrational setting ⋮ Completion of Boolean algebras in MSet ⋮ Order completion monads
Cites Work
This page was built for publication: Categories of chain-complete posets