Cartan calculus in tangent categories
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.11169
curl -X POST /api/v1/records/arxiv/2607.11169/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.11169/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'