{"id":"arxiv/2607.11169","url":"https://arxiv.org/abs/2607.11169","tags":["math.CT","math.DG"],"score":0,"title":"Cartan calculus in tangent categories","domain":"math.CT","source":"arxiv","authors":["Lory Aintablian","Christian Blohmann"],"reviews":0,"subject":"math.CT","summary":"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 scalar multiplication by a commutative ring object $R$, playing the role of the smooth real line, which equips the tangent bundle of every object with the structure of an $R$-module compatible with the tangent structure. We show that under these axioms the Lie algebra of vector fields acts by derivations on the ring of $R$-valued functions and satisfies the Leibniz rule. In other words, the tangent bundle is an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}