2022-01-22T10:40:31Zhttps://tsukuba.repo.nii.ac.jp/oaioai:tsukuba.repo.nii.ac.jp:000276842021-03-02T07:18:02ZAxiomatic Differential Geometry Ⅲ-2Nishimura, HirokazuGiven 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.other2012-10-18application/pdf112http://hdl.handle.net/2241/117616https://tsukuba.repo.nii.ac.jp/record/27684/files/1209.6109v3.pdfenghttp://arxiv.org/abs/1209.6109