Coherence for bicategorical cartesian closed structure (Q5068207): Difference between revisions

@@ Property / cites work @@
+Q4417849
@@ Property / cites work: Q4417849 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Fibered categories and the foundations of naive category theory
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian Bicategories II
@@ Property / cites work: Cartesian Bicategories II / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+Cartesian bicategories. I
@@ Property / cites work: Cartesian bicategories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936144
@@ Property / cites work: Q4936144 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization and the Yoneda embedding
@@ Property / cites work: Normalization and the Yoneda embedding / 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 @@
+Monoidal bicategories and Hopf algebroids
@@ Property / cites work: Monoidal bicategories and Hopf algebroids / rank @@
+Normal rank
@@ Property / cites work @@
+The cartesian closed bicategory of generalised species of structures
+Normal rank
@@ Property / cites work @@
+Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure
+Normal rank
@@ Property / cites work @@
+Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory
+Normal rank
@@ Property / cites work @@
+Coherence of Gray Categories via Rewriting
@@ Property / cites work: Coherence of Gray Categories via Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+On operads, bimodules and analytic                     functors
@@ Property / cites work: On operads, bimodules and analytic functors / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for tricategories
@@ Property / cites work: Coherence for tricategories / rank @@
+Normal rank
@@ Property / cites work @@
+Formal category theory: Adjointness for 2-categories
+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 @@
+Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
+Normal rank
@@ Property / cites work @@
+Braided tensor categories
@@ Property / cites work: Braided tensor categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+A 2-Categories Companion
@@ Property / cites work: A 2-Categories Companion / rank @@
+Normal rank
@@ Property / cites work @@
+Bicategories of spans as cartesian bicategories
@@ Property / cites work: Bicategories of spans as cartesian bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655527
@@ Property / cites work: Q5655527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for bicategories and indexed categories
@@ Property / cites work: Coherence for bicategories and indexed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Avoiding the axiom of choice in general category theory
+Normal rank
@@ Property / cites work @@
+Q3832738
@@ Property / cites work: Q3832738 / rank @@
+Normal rank
@@ Property / cites work @@
+A general coherence result
@@ Property / cites work: A general coherence result / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218944
@@ Property / cites work: Q4218944 / rank @@
+Normal rank
@@ Property / cites work @@
+Compact Closed Bicategories
@@ Property / cites work: Compact Closed Bicategories / 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 @@
+Q3876103
@@ Property / cites work: Q3876103 / rank @@
+Normal rank