Freyd categories are enriched Lawvere theories (Q280202): Difference between revisions

@@ Property / cites work @@
+A classification of accessible categories
@@ Property / cites work: A classification of accessible categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527392
@@ Property / cites work: Q4527392 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads Need Not Be Endofunctors
@@ Property / cites work: Monads Need Not Be Endofunctors / rank @@
+Normal rank
@@ Property / cites work @@
+What is a Categorical Model of Arrows?
@@ Property / cites work: What is a Categorical Model of Arrows? / rank @@
+Normal rank
@@ Property / cites work @@
+Monads with arities and their associated theories
@@ Property / cites work: Monads with arities and their associated theories / rank @@
+Normal rank
@@ Property / cites work @@
+On closed categories of functors
@@ Property / cites work: On closed categories of functors / rank @@
+Normal rank
@@ Property / cites work @@
+A universal property of the convolution monoidal structure
+Normal rank
@@ Property / cites work @@
+Categorical semantics for arrows
@@ Property / cites work: Categorical semantics for arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762218
@@ Property / cites work: Q2762218 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3324132
@@ Property / cites work: Q3324132 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of Lawvere theory
@@ Property / cites work: Notions of Lawvere theory / 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 @@
+Modelling environments in call-by-value programming languages.
+Normal rank
@@ Property / cites work @@
+Linearly-Used State in Models of Call-by-Value
@@ Property / cites work: Linearly-Used State in Models of Call-by-Value / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / 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 @@
+Some Varieties of Equational Logic
@@ Property / cites work: Some Varieties of Equational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Handlers of Algebraic Effects
@@ Property / cites work: Handlers of Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851544
@@ Property / cites work: Q2851544 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704209
@@ Property / cites work: Q4704209 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic models for computational effects
@@ Property / cites work: Generic models for computational effects / rank @@
+Normal rank
@@ Property / cites work @@
+Premonoidal categories and notions of computation
@@ Property / cites work: Premonoidal categories and notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938649
@@ Property / cites work: Q4938649 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on algebra: Monadicity and generalisations of equational theories
+Normal rank
@@ Property / cites work @@
+An Algebraic Presentation of Predicate Logic
@@ Property / cites work: An Algebraic Presentation of Predicate Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Instances of Computational Effects: An Algebraic Perspective
+Normal rank