Order completion monads

DOI10.1007/BF01191754zbMath0522.18005MaRDI QIDQ1055871

José Meseguer

Publication date: 1983

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

tensor product; monad; monad of complete semilattices; Z-complete poset

Mathematics Subject Classification ID

06A06: Partial orders, general

18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

08C05: Categories of algebras

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

18A32: Factorization systems, substructures, quotient structures, congruences, amalgams

Related Items

An algebraic approach to stable domains, Posets isomorphic to their extensions, On P-dominions of continuous algebras, Varieties of chain-complete algebras, Bigeneration in complete lattices and principal separation in ordered sets, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, Completions for partially ordered semigroups, Monads for which structures are adjoint to units, ORDER EXTENSIONS AS ADJOINT FUNCTORS

Cites Work

• 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
• 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