Order completion monads
From MaRDI portal
Publication:1055871
DOI10.1007/BF01191754zbMath0522.18005OpenAlexW2062062788MaRDI QIDQ1055871
Publication date: 1983
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01191754
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (12)
On P-dominions of continuous algebras ⋮ Monads for which structures are adjoint to units ⋮ ORDER EXTENSIONS AS ADJOINT FUNCTORS ⋮ A Denotational Semantic Theory of Concurrent Systems ⋮ A class of join-completions of partially ordered semigroups ⋮ Varieties of chain-complete algebras ⋮ An algebraic approach to stable domains ⋮ Bigeneration in complete lattices and principal separation in ordered sets ⋮ Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations ⋮ Join-completions of \(L\)-ordered sets ⋮ Completions for partially ordered semigroups ⋮ Posets isomorphic to their extensions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A uniform approach to inductive posets and inductive closure
- Varieties of chain-complete algebras
- Free monoids
- Chain-complete posets and directed sets with applications
- Computability concepts for programming language semantics
- Categories of chain-complete posets
- Monads for which structures are adjoint to units
- Adjoint functors and triples
- Kan extensions in enriched category theory
- Completions of Partially Ordered Sets
- Adjoint Lifting Theorems for Categories of Algebras
- Bases for Chain-complete Posets
- Data Types as Lattices
- Initial Algebra Semantics and Continuous Algebras
- Closed categories generated by commutative monads
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
This page was built for publication: Order completion monads
