| Revision as of 22:12, 15 May 2008 edit128.253.56.172 (talk) →Further reading← Previous edit |
Latest revision as of 17:06, 12 August 2024 edit undo99.47.116.190 (talk) Fix broken link |
| (22 intermediate revisions by 17 users not shown) |
| Line 1: |
Line 1: |
|
|
{{Short description|Formalization in mathematical topos theory}} |
| ⚫ |
In ], '''synthetic differential geometry''' is a reformulation of ] in the language of ]. There are several insights that allow for such a reformulation. The first is that most of the analytic data for describing the class of ]s can be encoded into certain ]s on manifolds: namely bundles of ] (see also ]). The second insight is that the operation of assigning a bundle of jets to a smooth manifold is ] in nature. The third insight is that over a certain ], these are ]s. Furthermore, their representatives are related to the algebras of ], so that ] may be used. |
|
|
|
{{inline|date=November 2011}} |
|
⚫ |
In ], '''synthetic differential geometry''' is a formalization of the theory of ] in the language of ]. There are several insights that allow for such a reformulation. The first is that most of the analytic data for describing the class of ]s can be encoded into certain ]s on manifolds: namely bundles of ] (see also ]). The second insight is that the operation of assigning a bundle of jets to a smooth manifold is ] in nature. The third insight is that over a certain ], these are ]s. Furthermore, their representatives are related to the algebras of ], so that ] may be used. |
|
|
|
|
|
Synthetic differential geometry can serve as a platform for formulating certain otherwise obscure or confusing notions from differential geometry. For example, the meaning of what it means to be ''natural'' (or ''invariant'') has a particularly simple expression, even though the formulation in classical differential geometry may be quite difficult. |
|
Synthetic differential geometry can serve as a platform for formulating certain otherwise obscure or confusing notions from differential geometry. For example, the meaning of what it means to be ''natural'' (or ''invariant'') has a particularly simple expression, even though the formulation in classical differential geometry may be quite difficult. |
|
|
|
|
|
==Further reading== |
|
== Further reading == |
|
*J.L. Bell, (PDF file) |
|
*], (PDF file) |
|
*], (PDF file) |
|
*], (PDF file) |
|
*Anders Kock, (PDF file), Cambridge University Press, 2nd Edition, 2006. |
|
*Anders Kock, (PDF file), Cambridge University Press, 2nd Edition, 2006. |
|
*R. Lavendhomme, ''Basic Concepts of Synthetic Differential Geometry'', Springer-Verlag, 1996. |
|
*R. Lavendhomme, ''Basic Concepts of Synthetic Differential Geometry'', Springer-Verlag, 1996. |
|
*Michael Shulman, |
|
*], |
|
|
*Ryszard Paweł Kostecki, |
|
] |
|
|
|
|
|
|
|
{{Infinitesimals}} |
|
|
|
|
|
{{geometry-stub}} |
|
] |
Synthetic differential geometry can serve as a platform for formulating certain otherwise obscure or confusing notions from differential geometry. For example, the meaning of what it means to be natural (or invariant) has a particularly simple expression, even though the formulation in classical differential geometry may be quite difficult.
