In this video I introduce synthetic differential geometry, where one sets up a framework to do differential geometry with spaces and maps with nice smoothness properties. Rather than the standard real number line, the line in synthetic differential geometry has `nilsquare infinitesimals' (non-zero quantities that square to zero). This make it easier to talk about calculus than in the classical setup. Formally, synthetic differential geometry is done by defining a `category of smooth spaces', which is a topos that satisfies various axioms. It follows that synthetic differential geometry is governed by intuitionistic, non-classical logic. In this video we introduce synthetic differential geometry informally, and describe the concepts of infinitesimals, differentiation, integration, spaces of maps, vector bundles, tangent vectors, vector fields, vector flows, and other ideas from calculus. Next we describe how synthetic differential geometry can be described formally using the internal language of a topos, and we conclude by looking at some interesting adjoint functors which relate to finding solutions to dynamical systems on manifolds, described by vector fields.
More information about actions and flows can be found in the books `Conceptual Mathematics' and `Categories in Continuum Physics' by Lawvere.
More videos about various things to do with synthetic differential geometry can be found within my playlist:
• Synthetic Differential Geometry
More files, including my own proofs about synthetic differential geometry and topos theory can be found here
https://drive.google.com/drive/folder...
More about topos logic (particularly `exists' and `for all') can be found in these videos
• Exists and forall as adjoints
• Exists and forall as adjoints 2
• Exists and forall as adjoints 3
The following videos also describe more connections with other ideas from mathematics and physics
• Tangent Budle Functor
• Calculating Kinetic Energy
Watch video Category Theory For Beginners: Synthetic Differential Geometry online without registration, duration hours minute second in high quality. This video was added by user Richard Southwell 13 June 2021, don't forget to share it with your friends and acquaintances, it has been viewed on our site 4,642 once and liked it 149 people.