Coherence for bicategorical cartesian closed structure
From MaRDI portal
(Redirected from Publication:5068207)
Recommendations
- Coherence for closed categories with biproducts
- Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure
- Coherence for bicategories and indexed categories
- scientific article; zbMATH DE number 2006632
- scientific article; zbMATH DE number 4108979
- Coherence in Cartesian closed categories and the generality of proofs
- Relative full completeness for bicategorical Cartesian closed structure
- Coherence in substructural categories
- scientific article; zbMATH DE number 17524
- Coherence completions of categories
Cites work
- A 2-categories companion
- A general coherence result
- Avoiding the axiom of choice in general category theory
- Bicategories of spans as cartesian bicategories
- Braided tensor categories
- Cartesian Bicategories II
- Cartesian bicategories. I
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
- Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure
- Coherence for bicategories and indexed categories
- Coherence for tricategories
- Coherence in Three-Dimensional Category Theory
- Coherence of Gray categories via rewriting
- Compact closed bicategories
- Fibered categories and the foundations of naive category theory
- Formal category theory: Adjointness for 2-categories
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 4108979 (Why is no real title available?)
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1223633 (Why is no real title available?)
- scientific article; zbMATH DE number 692330 (Why is no real title available?)
- scientific article; zbMATH DE number 1956503 (Why is no real title available?)
- scientific article; zbMATH DE number 1392305 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- Introduction to bicategories
- Introduction to extensive and distributive categories
- Monoidal bicategories and Hopf algebroids
- Normalization and the Yoneda embedding
- On closed categories of functors
- On operads, bimodules and analytic functors
- Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory
- The cartesian closed bicategory of generalised species of structures
- The formal theory of monads
- Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus
- Two-dimensional monad theory
Cited in
(9)- Bicartesian coherence
- Relative full completeness for bicategorical Cartesian closed structure
- scientific article; zbMATH DE number 2006632 (Why is no real title available?)
- Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure
- A type theory for Cartesian closed bicategories
- Rewriting techniques for relative coherence
- Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
- An analysis of symmetry in quantitative semantics
- Coherence in Cartesian closed categories and the generality of proofs
This page was built for publication: Coherence for bicategorical cartesian closed structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5068207)
