Smooth Spaces 2: Axioms Of Synthetic Differential Geometry
In this video we describe the axioms of synthetic differential geometry. We begin by a discussion of how the continuum is set up, and about the basic concepts of spaces, functions and products. We also describe how diagrams can be used to represent relationships between functions. In addition to covering the basic axioms about the behavior of the smooth line, we discuss nilsquare infinitesimals, and the central `principle of microaffineness' and we explain how it can be used to describe the derivative of a function. We also explain why our axioms require the underlying logic to be intuitionistic, and force the maps we consider to correspond to continuous functions.
A rigorous approach to this subject, emphasizing the category theoretic foundations, can be found here:
Category Theory For Beginners: Synthetic Differential Geometry
• Category Theory For Beginners: Synthe...
More videos about various things to do with synthetic differential geometry can be found within my playlist:
• Synthetic Differential Geometry
A video about intuitionistic logic and type theory can be found here:
• Foundations 5: Intuitionistic Logic a...
A video about the internal language of a topos (the Mitchell-Benabou language) can be found here:
• Category Theory For Beginners: Intern...
Смотрите видео Smooth Spaces 2: Axioms Of Synthetic Differential Geometry онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Richard Southwell 20 Июль 2021, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 2,370 раз и оно понравилось 72 людям.