@misc{oai:tsukuba.repo.nii.ac.jp:00027684, author = {西村, 泰一 and NISHIMURA, Hirokazu}, month = {Oct}, note = {Given a complete and (locally) cartesian closed category U, it is shown that the category of functors from the category of Weil algebras to the category U is (locally, resp.) cartesian closed. The corresponding axiomatization for differential geometry is then given.}, title = {Axiomatic Differential Geometry Ⅲ-2}, year = {2012}, yomi = {ニシムラ, ヒロカズ} }