Axiomatic Differential Geometry III-1
Differential Geometry
2012-09-28 v4
Abstract
In this paper is proposed a kind of model theory for our axiomatic differential geometry. It is claimed that smooth manifolds, which have occupied the center stage in differential geometry, should be replaced by functors on the category of Weil algebras. Our model theory is geometrically natural and conceptually motivated, while the model theory of synthetic differential geometry is highly artificial and exquisitely technical.
Keywords
Cite
@article{arxiv.1209.1247,
title = {Axiomatic Differential Geometry III-1},
author = {Hirokazu Nishimura},
journal= {arXiv preprint arXiv:1209.1247},
year = {2012}
}