• Corpus ID: 119145108

Axiomatic Differential Geometry III-1

@article{Nishimura2012AxiomaticDG,
  title={Axiomatic Differential Geometry III-1},
  author={Hirokazu Nishimura},
  journal={arXiv: Differential Geometry},
  year={2012},
  pages={1-12}
}
  • H. Nishimura
  • Published 18 March 2012
  • Mathematics
  • arXiv: Differential Geometry
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. 
Axiomatic Differential Geometry ?-1
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
Axiomatic Differential Geometry III-3-Its Landscape-Chapter 3: The Old Kingdom of Differential Geometers
The principal objective of this paper is to study the relationship between the old kingdom of differential geometry (the category of smooth manifolds) and its new kingdom (the category of functors on
Weil Diffeology I: Classical Differential Geometry
Topos theory is a category-theoretic axiomatization of set theory. Model categories are a category-theoretical framework for abstract homotopy theory. They are complete and cocomplete categories
Differential Structure, Tangent Structure, and SDG
TLDR
It is shown that tangent structures appropriately span a very wide range of definitions, from the syntactic and structural differentials arising in computer science and combinatorics, through the concrete manifolds of algebraic and differential geometry, and finally to the abstract definitions of synthetic differential geometry.
AXIOMATIC DIFFERENTIAL GEOMETRY II-3 - ITS DEVELOPMENTS - CHAPTER 3: THE GENERAL JACOBI IDENTITY
As the fourth paper of our series of papers concerned with ax- iomatic differential geometry, this paper is devoted to the general Jacobi iden- tity supporting the Jacobi identity of vector fields.

References

SHOWING 1-10 OF 54 REFERENCES
Axiomatic Differential Geometry II-2: Differential Forms
We refurbish our axiomatics of differential geometry introduced in [Mathematics for Applications,, 1 (2012), 171-182]. Then the notion of Euclideaness can naturally be formulated. The principal
Basic Concepts of Synthetic Differential Geometry
Introduction. 1. Differential Calculus and Integrals. 2. Weil Algebras and Infinitesimal Linearity. 3. Tangency. 4. Differential Forms. 5. Connections. 6. Global Actions. 7. On the Algebra of the
Models for smooth infinitesimal analysis
The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of
Differential Geometry of Microlinear Frolicher Spaces IV-1
The central object of synthetic differential geometry is microlinear spaces. In our previous paper [Microlinearity in Frolicher spaces -beyond the regnant philosophy of manifolds-, International
Differential Geometry of Microlinear Frolicher Spaces I
The central object of synthetic differential geometry is microlinear spaces. In our previous paper [Microlinearity in Frölicher spaces -beyond the regnant philosophy of manifolds-, International
Natural operations in differential geometry
I. Manifolds and Lie Groups.- II. Differential Forms.- III. Bundles and Connections.- IV. Jets and Natural Bundles.- V. Finite Order Theorems.- VI. Methods for Finding Natural Operators.- VII.
REVIEWS-Sketches of an elephant: A topos theory compendium
A1 Regular and Cartesian Closed Categories A2 Toposes - Basic Theory A3 Allegories A4 Geometric Morphisms - Basic Theory B1 Fibrations and Indexed Categories B2 Internal and Locally Internal
Topics in Differential Geometry
Manifolds and vector fields Lie groups and group actions Differential forms and de Rham cohomology Bundles and connections Riemann manifolds Isometric group actions or Riemann $G$-manifolds
A much larger class of Frolicher spaces than that of convenient vector spaces may embed into the Cahier topos
It is well known that the category of Frolicher spaces and smooth mappings is Cartesian closed. The principal objective in this paper is to show that the full subcategory of Frolicher spaces that
The Jacobi Identity beyond Lie Algebras
Frolicher and Nijenhuis recognized well in the middle of the previous century that the Lie bracket and its Jacobi identity could and should exist beyond Lie algebras. Nevertheless the conceptual
...
...