Coherence for bicategorical cartesian closed structure
From MaRDI portal
Publication:5068207
DOI10.1017/S0960129521000281zbMath1495.18008OpenAlexW3205541275MaRDI QIDQ5068207
Philip Saville, Marcelo P. Fiore
Publication date: 5 April 2022
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129521000281
Cites Work
- Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus
- Coherence for bicategories and indexed categories
- Cartesian bicategories. I
- A general coherence result
- Two-dimensional monad theory
- Introduction to extensive and distributive categories
- Braided tensor categories
- Monoidal bicategories and Hopf algebroids
- Formal category theory: Adjointness for 2-categories
- Avoiding the axiom of choice in general category theory
- The formal theory of monads
- Compact Closed Bicategories
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
- A 2-Categories Companion
- Cartesian Bicategories II
- Bicategories of spans as cartesian bicategories
- Fibered categories and the foundations of naive category theory
- Normalization and the Yoneda embedding
- Introduction to bicategories
- Coherence for tricategories
- Coherence in Three-Dimensional Category Theory
- Coherence of Gray Categories via Rewriting
- Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure
- On operads, bimodules and analytic functors
- The cartesian closed bicategory of generalised species of structures
- Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory
- On closed categories of functors
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Coherence for bicategorical cartesian closed structure