From the 2 of 4 linked papers with an AI index.
4 papers
Monoidal bicategories, differential linear logic, and analytic functors
M. Fiore, N. Gambino, M. Hyland
The paper defines bicategorical analogues of linear exponential comonads and codereliction transformations, connecting monoidal bicategories with differential linear logic, and use…
Symmetric 2-rigs: coexponentiability and cartesian closure
Mathieu Anel, Marcelo Fiore, Nicola Gambino
The paper investigates which symmetric 2‑rig structures can be coexponentiated, showing they are exactly deformation retracts of presheaf categories, and uses this to describe cart…
Isoregular theories, accessible 2-categories, and free constructions
Nicola Gambino, Giacomo Tendas
We introduce isoregular theories, in which it is possible to express existential quantification up to unique isomorphism, as typically used to characterise category-theoretic unive…
A unified treatment of commuting tensor products of categories, operads, symmetric multicategories and their bimodules
Nicola Gambino, Richard Garner, Christina Vasilakopoulou
We provide a unified treatment of several commuting tensor products considered in the literature, including the tensor product of enriched categories and the Boardman-Vogt tensor p…