Categories of chain-complete posets
From MaRDI portal
Cites work
- Chain-complete posets and directed sets with applications
- Data Types as Lattices
- scientific article; zbMATH DE number 3523133 (Why is no real title available?)
- scientific article; zbMATH DE number 3560704 (Why is no real title available?)
- scientific article; zbMATH DE number 3602653 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- scientific article; zbMATH DE number 3220362 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- Program equivalence and context-free grammars
Cited in
(18)- Completion of Boolean algebras in MSet
- Order completion monads
- On the algebra of order
- Varieties of chain-complete algebras
- Tree constructions of free continuous algebras
- Chain-complete posets and directed sets with applications
- Fixed-point constructions in order-enriched categories
- Structural induction and coinduction in a fibrational setting
- Families of chains of a poset and Sperner properties
- Presenting locale pullback via directed complete posets
- A universal characterization of the double powerlocale
- Poset product and BL-chains
- Transporting continuity properties from a poset to its subposets
- Are chain-complete posets co-wellpowered?
- B-posets, FS-posets and relevant categories
- Algebraic specification of data types: A synthetic approach
- ( Z₁, Z₂)-complete partially ordered sets and their representations by Q-spaces.
- The category of G-posets
This page was built for publication: Categories of chain-complete posets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1241798)
