Promonads and String Diagrams for Effectful Categories (Q6150166): Difference between revisions

@@ Property / OpenAlex ID @@
+W4385343029
@@ Property / OpenAlex ID: W4385343029 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical quantum mechanics
@@ Property / cites work: Categorical quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Geometry of Interaction and linear combinatory algebras
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction and coherence for weakly distributive categories
+Normal rank
@@ Property / cites work @@
+Graphical Conjunctive Queries.
@@ Property / cites work: Graphical Conjunctive Queries. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal bicategories and Hopf algebroids
@@ Property / cites work: Monoidal bicategories and Hopf algebroids / rank @@
+Normal rank
@@ Property / cites work @@
+On braided fusion categories. I
@@ Property / cites work: On braided fusion categories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian effect categories are Freyd-categories
@@ Property / cites work: Cartesian effect categories are Freyd-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204146
@@ Property / cites work: Q4204146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4933938
@@ Property / cites work: Q4933938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934678
@@ Property / cites work: Q3934678 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851324
@@ Property / cites work: Q2851324 / rank @@
+Normal rank
@@ Property / cites work @@
+Memoryful geometry of interaction
@@ Property / cites work: Memoryful geometry of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Generalising monads to arrows
@@ Property / cites work: Generalising monads to arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical semantics for arrows
@@ Property / cites work: Categorical semantics for arrows / rank @@
+Normal rank
@@ Property / cites work @@
+The geometry of tensor calculus. I
@@ Property / cites work: The geometry of tensor calculus. I / rank @@
+Normal rank
@@ Property / cites work @@
+(Co)end Calculus
@@ Property / cites work: (Co)end Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4658185
@@ Property / cites work: Q4658185 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear usage of state
@@ Property / cites work: Linear usage of state / 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 @@
+A new notation for arrows
@@ Property / cites work: A new notation for arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal computer. I: Basic computability by string diagrams
+Normal rank
@@ Property / cites work @@
+Premonoidal categories as categories with algebraic structure
+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 @@
+Framed bicategories and monoidal fibrations
@@ Property / cites work: Framed bicategories and monoidal fibrations / rank @@
+Normal rank
@@ Property / cites work @@
+Universal properties of impure programming languages
+Normal rank
@@ Property / cites work @@
+Comonadic Notions of Computation
@@ Property / cites work: Comonadic Notions of Computation / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6150166