3 papers
math.CT2026
Symmetric 2-rigs: coexponentiability and cartesian closure
Mathieu Anel, Marcelo Fiore, Nicola Gambino
We study coexponentiability in the context of the cocartesian 2-category RIG of symmetric 2-rigs, symmetric strong monoidal cocontinuous functors, and symmetric monoidal natural tr…
math.CT2026
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…
math.CT2025
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…