著者

Nishimura Hirokazu

巻号頁・発行日

pp.1-12, 2012-10-18

---

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.