Gabriel–Ulmer duality and Lawvere theories enriched over a general base (Q3638917): Difference between revisions

@@ Property / author @@
-Q175559
@@ Property / author: Q175559 / rank @@
-Normal rank
@@ Property / author @@
+A. John Power
@@ Property / author: A. John Power / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic operations and generic effects
@@ Property / cites work: Algebraic operations and generic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Lawvere theories enriched over a general base
@@ Property / cites work: Lawvere theories enriched over a general base / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete Lawvere theories and computational effects
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / rank @@
+Normal rank
@@ Property / cites work @@
+Combining algebraic effects with continuations
@@ Property / cites work: Combining algebraic effects with continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on algebra: Monadicity and generalisations of equational theories
+Normal rank
@@ Property / cites work @@
+Why tricategories?
@@ Property / cites work: Why tricategories? / rank @@
+Normal rank