Showing math.CTShow all
2 papers · 1 filter
math.CT2026
Day convolution for algebraic patterns
Thomas Blom, Félix Loubaton, Jaco Ruit
We characterize the exponentiable objects for a wide range of structures prevalent in -categorical algebra, extending the construction of Day convolution to more general st…
math.CT2025
On the straightening of every functor
Thomas Blom
We show that any functor between -categories can be straightened. More precisely, we show that for any -category , there is an equivalence between the…