Order completion monads
From MaRDI portal
Publication:1055871
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)