On the formal theory of pseudomonads and pseudodistributive laws (Q5150014): Difference between revisions

@@ label / en / label / en @@
+On the formal theory of pseudomonads and pseudodistributive laws
@@ Property / arXiv classification @@
+math.CT
@@ Property / arXiv classification: math.CT / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1359
@@ Property / arXiv ID: 0907.1359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579535
@@ Property / cites work: Q5579535 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherent Extensions and Relational Algebras
@@ Property / cites work: Coherent Extensions and Relational Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Profunctors, open maps and bisimulation
@@ Property / cites work: Profunctors, open maps and bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Operads, Clones, and Distributive Laws
@@ Property / cites work: Operads, Clones, and Distributive Laws / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+The cartesian closed bicategory of generalised species of structures
+Normal rank
@@ Property / cites work @@
+Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
+Normal rank
@@ Property / cites work @@
+Polycategories via pseudo-distributive laws
@@ Property / cites work: Polycategories via pseudo-distributive laws / rank @@
+Normal rank
@@ Property / cites work @@
+The low-dimensional structures formed by tricategories
+Normal rank
@@ Property / cites work @@
+Coherence for tricategories
@@ Property / cites work: Coherence for tricategories / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in Three-Dimensional Category Theory
@@ Property / cites work: Coherence in Three-Dimensional Category Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100669
@@ Property / cites work: Q4100669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+A coherent approach to pseudomonads
@@ Property / cites work: A coherent approach to pseudomonads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3414550
@@ Property / cites work: Q3414550 / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads. II
@@ Property / cites work: The formal theory of monads. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342436
@@ Property / cites work: Q4342436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4238518
@@ Property / cites work: Q4238518 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive laws for pseudomonads. II
@@ Property / cites work: Distributive laws for pseudomonads. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5454628
@@ Property / cites work: Q5454628 / rank @@
+Normal rank
@@ Property / cites work @@
+A 2-categorical pasting theorem
@@ Property / cites work: A 2-categorical pasting theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-distributive laws and axiomatics for variable binding
+Normal rank
@@ Property / cites work @@
+A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
+Normal rank
@@ Property / cites work @@
+Distributive laws via admissibility
@@ Property / cites work: Distributive laws via admissibility / rank @@
+Normal rank