2-categories 1analytic functors 1cartesian closure 1coexponentiability 1combinatorial species 1differential linear logic 1linear exponential comonad 1monoidal bicategories 1presheaf categories 1symmetric 2-rigs 1symmetric operads 1
From the 2 of 3 linked papers with an AI index.
3 papers
math.CT2026
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…
math.CT2026
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…
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…