2012/09/27 by Hirokazu Nishimura, Nishimura, Hirokazu
Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Differential Geometry (math.DG) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.DG
paper · pdf · doi:10.48550/arxiv.1209.6109
openalex publication_date 2012/09/27 · arxiv created 2012/10/17 · arxiv updated 2012/10/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/31
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 based upon Weil functors is then given.