2 citations · 2 across the 4 of their papers we have counts for
4 papers
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…
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…
Kripke-Joyal forcing for type theory and uniform fibrations
S. Awodey, N. Gambino, S. Hazratpour
We introduce a new method for precisely relating certain kinds of algebraic structures in a presheaf category and judgements of its internal type theory. The method provides a syst…