Axiomatic differential geometry. III-2 -- its landscape. II: Model theory. II (Q2844352)

Given a complete and (locally) Cartesian closed category \(\mathbf{U}\), it is shown that the category of functors from the category of Weil algebras to the category \(\mathbf{U}\) is (locally, respectively) Cartesian closed. The corresponding axiomatization for differential geometry based upon Weil functors and formulated by the author in a previous article [ibid. 74, No. 1, 17--26 (2013; Zbl 1281.51014)], is then given.