507 citations · 667 across the 24 of their papers we have counts for
Showing 2026 · math.CTShow all
2 papers · 2 filters
math.CT2026
Cartan calculus of cubical forms in tangent categories
Christian Blohmann
We construct the Cartan calculus of differential cubical forms on an object of a cartesian tangent category with a scalar multiplication by a commutative ring object . We pr…
math.CT2026
Cartan calculus in tangent categories
Lory Aintablian, Christian Blohmann
We determine the structure needed in a tangent category in the sense of Rosický and Cockett-Cruttwell to construct the Cartan calculus on all objects. The missing ingredient is a s…