Order completion monads

DOI10.1007/BF01191754MaRDI QIDQ1055871zbMATHOpenAlexFDO

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

zbMATH Keywords

tensor productmonadmonad of complete semilatticesZ-complete poset

Mathematics Subject Classification ID

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

• scientific article; zbMATH DE number 3724512 (Why is no real title available?)
• scientific article; zbMATH DE number 3763993 (Why is no real title available?)
• scientific article; zbMATH DE number 3512374 (Why is no real title available?)
• scientific article; zbMATH DE number 3527796 (Why is no real title available?)
• scientific article; zbMATH DE number 3540387 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 3574082 (Why is no real title available?)
• scientific article; zbMATH DE number 3596800 (Why is no real title available?)
• scientific article; zbMATH DE number 3597848 (Why is no real title available?)
• scientific article; zbMATH DE number 3630192 (Why is no real title available?)
• scientific article; zbMATH DE number 3630264 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 3236070 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 3339464 (Why is no real title available?)
• scientific article; zbMATH DE number 3362972 (Why is no real title available?)
• A uniform approach to inductive posets and inductive closure
• Adjoint Lifting Theorems for Categories of Algebras
• Adjoint functors and triples
• Bases for Chain-complete Posets
• Categories of chain-complete posets
• Chain-complete posets and directed sets with applications
• Closed categories generated by commutative monads
• Completions of Partially Ordered Sets
• Computability concepts for programming language semantics
• Data Types as Lattices
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Free monoids
• Initial Algebra Semantics and Continuous Algebras
• Kan extensions in enriched category theory
• Monads for which structures are adjoint to units
• Varieties of chain-complete algebras

Cited in

(12)

• Posets isomorphic to their extensions
• A class of join-completions of partially ordered semigroups
• On P-dominions of continuous algebras
• ORDER EXTENSIONS AS ADJOINT FUNCTORS
• A denotational semantic theory of concurrent systems
• Completions for partially ordered semigroups
• Bigeneration in complete lattices and principal separation in ordered sets
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Varieties of chain-complete algebras
• An algebraic approach to stable domains
• Monads for which structures are adjoint to units
• Join-completions of \(L\)-ordered sets

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)