Order completion monads

DOI10.1007/BF01191754MaRDI QIDQ1055871zbMATH OpenOpenAlexFDO

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

monadmonad of complete semilatticestensor productZ-complete poset

Mathematics Subject Classification ID

Partial orders, general (06A06) Categories of algebras (08C05) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) 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)

Cites work

• A uniform approach to inductive posets and inductive closure
• Adjoint functors and triples
• Adjoint Lifting Theorems for Categories of Algebras
• 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
• Free monoids
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• 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?)
• 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
• 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
• Join-completions of \(L\)-ordered sets
• Completions for partially ordered semigroups
• Monads for which structures are adjoint to units
• A denotational semantic theory of concurrent systems
• ORDER EXTENSIONS AS ADJOINT FUNCTORS
• A class of join-completions of partially ordered semigroups
• An algebraic approach to stable domains

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)