Misplaced Pages

Synthetic differential geometry: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 09:45, 27 May 2024 editDaniel5Ko (talk | contribs)346 edits Further reading: Replaced non-working link with working one.← Previous edit Latest revision as of 17:06, 12 August 2024 edit undo99.47.116.190 (talk) Fix broken link 
Line 6: Line 6:


== Further reading == == Further reading ==
*], (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.

Latest revision as of 17:06, 12 August 2024

Formalization in mathematical topos theory
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (November 2011) (Learn how and when to remove this message)

In mathematics, synthetic differential geometry is a formalization of the theory of differential geometry in the language of topos theory. There are several insights that allow for such a reformulation. The first is that most of the analytic data for describing the class of smooth manifolds can be encoded into certain fibre bundles on manifolds: namely bundles of jets (see also jet bundle). The second insight is that the operation of assigning a bundle of jets to a smooth manifold is functorial in nature. The third insight is that over a certain category, these are representable functors. Furthermore, their representatives are related to the algebras of dual numbers, so that smooth infinitesimal analysis 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.

Further reading

Infinitesimals
History
Related branches
Formalizations
Individual concepts
Mathematicians
Textbooks
Category: