Order completion monads
type: Item
instance of: scholarly article
title: Order completion monads
zbMATH Open document ID: 0522.18005
DOI: 10.1007/BF01191754
author: José Meseguer
published in: Algebra Universalis
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 18C15
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 06A06
Mathematics Subject Classification ID: 18A32
Mathematics Subject Classification ID: 18A30
Mathematics Subject Classification ID: 18D10
Mathematics Subject Classification ID: 08C05
zbMATH DE Number: 3826060
zbMATH Keywords: monad of complete semilattices
zbMATH Keywords: Z-complete poset
zbMATH Keywords: monad
zbMATH Keywords: tensor product
MaRDI profile type: Publication
cites work: Completions of Partially Ordered Sets
cites work: Q4164787
cites work: Q3912630
cites work: Q5616191
cites work: Kan extensions in enriched category theory
cites work: Free monoids
cites work: Computability concepts for programming language semantics
cites work: Q5586461
cites work: Adjoint functors and triples
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Q4191573
cites work: Q4105238
cites work: Adjoint Lifting Theorems for Categories of Algebras
cites work: Closed categories generated by commutative monads
cites work: Monads for which structures are adjoint to units
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Q4191647
cites work: Q5523691
cites work: Q4693151
cites work: Q4123496
cites work: Chain-complete posets and directed sets with applications
cites work: Categories of chain-complete posets
cites work: Bases for Chain-complete Posets
cites work: Q4145866
cites work: Q3946206
cites work: Varieties of chain-complete algebras
cites work: Q4116078
cites work: Q4163189
cites work: Q5636307
cites work: Data Types as Lattices
cites work: Q4092156
cites work: A uniform approach to inductive posets and inductive closure
full work available at URL: https://doi.org/10.1007/bf01191754
OpenAlex ID: W2062062788
description: scientific article; zbMATH DE number 3826060