cartan calculus 1commutative ring object 1lie algebroid 1lie-rinehart algebra 1scalar multiplication 1tangent categories 1
From the 1 of 2 linked papers with an AI index.
2 papers
math.CT2026
Cartan calculus in tangent categories
Lory Aintablian, Christian Blohmann
The paper identifies the additional structure required in a tangent category—namely a scalar multiplication by a commutative ring object—to define a Cartan calculus on every object…
math.CT2025
Differentiable groupoid objects and their abstract Lie algebroids
Lory Aintablian, Christian Blohmann
The infinitesimal counterpart of a Lie groupoid is its Lie algebroid. As a vector bundle, it is given by the source vertical tangent bundle restricted to the identity bisection. It…