Axiomatic differential geometry II-1 - vector fields

Abstract

In our previous paper entitled \Axiomatic di erential geometry I - towards model categories of di erential geometry", we have given a category-theoretic framework of di erential geometry. As the rst part of our series of papers concerned with di erential-geometric developments within the above axiomatic scheme, this paper is devoted to vector elds. The principal result is that the totality of vector elds on a microlinear and Weil exponential object forms a Lie algebra.