Categories of chain-complete posets

DOI10.1016/0304-3975(77)90031-7zbMath0366.18003OpenAlexW2029827187MaRDI QIDQ1241798

George Markowsky

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

Mathematics Subject Classification ID

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

• Program equivalence and context-free grammars
• Chain-complete posets and directed sets with applications
• Data Types as Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categories of chain-complete posets