3 papers
math.CT2026
Operadic 2-rigs
M. Anel, M. Fiore, N. Gambino
We show that the bicategory of operads and bimodules can be embedded into the bicategory of symmetric 2-rigs, a categorification of commutative rings. In order to do this, we intro…
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.CT2024
Logical Structure on Inverse Functor Categories
Marcelo Fiore, Chris Kapulkin, Yufeng Li
Inspired by recent work on the categorical semantics of dependent type theories, we investigate the following question: When is logical structure (crucially, dependent-product and…