Order completion monads
DOI10.1007/BF01191754zbMATH Open0522.18005OpenAlexW2062062788MaRDI QIDQ1055871FDOQ1055871
Authors: José Meseguer
Publication date: 1983
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01191754
Partial orders, general (06A06) Categories of algebras (08C05) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Cites Work
- Adjoint functors and triples
- Title not available (Why is that?)
- Initial Algebra Semantics and Continuous Algebras
- Title not available (Why is that?)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Chain-complete posets and directed sets with applications
- Monads for which structures are adjoint to units
- Data Types as Lattices
- A uniform approach to inductive posets and inductive closure
- Free monoids
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bases for Chain-complete Posets
- Adjoint Lifting Theorems for Categories of Algebras
- Kan extensions in enriched category theory
- Closed categories generated by commutative monads
- Categories of chain-complete posets
- Title not available (Why is that?)
- Completions of Partially Ordered Sets
- Title not available (Why is that?)
- Computability concepts for programming language semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Varieties of chain-complete algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (12)
- Join-completions of \(L\)-ordered sets
- A class of join-completions of partially ordered semigroups
- 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
- A Denotational Semantic Theory of Concurrent Systems
- Varieties of chain-complete algebras
- Monads for which structures are adjoint to units
- Completions for partially ordered semigroups
- ORDER EXTENSIONS AS ADJOINT FUNCTORS
- Posets isomorphic to their extensions
- On P-dominions of continuous algebras
This page was built for publication: Order completion monads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1055871)