Axiomatic differential geometry. III-2 -- its landscape. II: Model theory. II

MaRDI QIDQ2844352zbMATH OpenFDO

Authors Hirokazu Nishimura

Publication date 28 August 2013

Published in Far East Journal of Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1209.6109, http://www.pphmj.com/abstract/7494.htm

zbMATH Keywords

synthetic differential geometryCartesian closedDG-categoryaxiomatic differential geometrylocally Cartesian closed

Mathematics Subject Classification ID

Distance geometry (51K99) Categories in geometry and topology (18F99) Synthetic differential geometry (51K10) Topos-theoretic approach to differentiable manifolds (58A03)

Abstract: 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.

Recommendations

• Axiomatic differential geometry. III-1 -- its landscape. I: Model theory. I
• Weil diffeology. I: Classical differential geometry
• Axiomatic differential geometry. II-1: Vector fields
• Diffeology
• scientific article; zbMATH DE number 4067893

Cited in

(7)

• The existence of models of pseudo-Riemannian spaces in synthetic differential geometry
• scientific article; zbMATH DE number 1859650 (Why is no real title available?)
• Axiomatic differential geometry. II-1: Vector fields
• Functorial differential spaces and the infinitesimal structure of space-time
• Weil diffeology. I: Classical differential geometry
• Axiomatic differential geometry. III-1 -- its landscape. I: Model theory. I
• Axiomatic differential geometry II-2 - differential forms

This page was built for publication: Axiomatic differential geometry. III-2 -- its landscape. II: Model theory. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844352)