Axiomatic Differential Geometry I-1
  In this paper we give an axiomatization of differential geometry comparable to model categories for homotopy theory. Weil functors play a predominant role. 
Hirokazu Nishimura
math.DG