Showing math.CTShow all
3 papers · 1 filter
math.CT2026
Absolute colimits
Richard Garner, Ross Street
In the context of enriched category theory, we give necessary and sufficient conditions for a module morphism $α\dd M \to \CC(F,Z)$ to exhibit a functor $Z\dd \CA\to \CC$ as an abs…
math.CT2025
Cartesian differential categories as skew enriched categories
Richard Garner, Jean-Simon Pacaud Lemay
We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative m…
math.CT2024
Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences
Nicola Gambino, Richard Garner, Christina Vasilakopoulou
We extend the arithmetic product of species of structures and symmetric sequences studied by Maia and Mendez and by Dwyer and Hess to coloured symmetric sequences and show that it…