Cartan calculus for C ∞-ringed spaces

In an earlier paper [E. Lerman, Differential forms on C∞-ringed spaces, J. Geom. Phys. (2023) 105062, https://doi.org/10.48550/arXiv.2212.11163, https://doi.org/10.1016/j.geomphys.2023.105062], we constructed a complex of differential forms on a local C∞-ringed space. In this paper, we define a sheaf of vector fields ("the tangent sheaf") on a local C∞-ringed space, define contractions of vector fields and forms, Lie derivatives of forms with respect to vector fields, and show that the standard equations of Cartan calculus hold for vector fields and differential forms on local C∞-ringed spaces.