Order completion monads (Q1055871): Difference between revisions

@@ Property / cites work @@
+Completions of Partially Ordered Sets
@@ Property / cites work: Completions of Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164787
@@ Property / cites work: Q4164787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912630
@@ Property / cites work: Q3912630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616191
@@ Property / cites work: Q5616191 / rank @@
+Normal rank
@@ Property / cites work @@
+Kan extensions in enriched category theory
@@ Property / cites work: Kan extensions in enriched category theory / rank @@
+Normal rank
@@ Property / cites work @@
+Free monoids
@@ Property / cites work: Free monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Computability concepts for programming language semantics
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint functors and triples
@@ Property / cites work: Adjoint functors and triples / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4191573
@@ Property / cites work: Q4191573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105238
@@ Property / cites work: Q4105238 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint Lifting Theorems for Categories of Algebras
+Normal rank
@@ Property / cites work @@
+Closed categories generated by commutative monads
@@ Property / cites work: Closed categories generated by commutative monads / rank @@
+Normal rank
@@ Property / cites work @@
+Monads for which structures are adjoint to units
@@ Property / cites work: Monads for which structures are adjoint to units / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4191647
@@ Property / cites work: Q4191647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5523691
@@ Property / cites work: Q5523691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Chain-complete posets and directed sets with applications
+Normal rank
@@ Property / cites work @@
+Categories of chain-complete posets
@@ Property / cites work: Categories of chain-complete posets / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for Chain-complete Posets
@@ Property / cites work: Bases for Chain-complete Posets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145866
@@ Property / cites work: Q4145866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946206
@@ Property / cites work: Q3946206 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of chain-complete algebras
@@ Property / cites work: Varieties of chain-complete algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4163189
@@ Property / cites work: Q4163189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636307
@@ Property / cites work: Q5636307 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092156
@@ Property / cites work: Q4092156 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform approach to inductive posets and inductive closure
+Normal rank