Some model theory with C^\inftyrings and Smooth Infinitesimal Analysis
Add to your list(s)
Download to your calendar using vCal
If you have a question about this talk, please contact Filip Bár.
In the first half of the talk I will speak about the general idea of how to construct models of the smooth world in which the category of smooth manifolds can be embedded in a nice way using certain subcategories of C^\inftyrings.
In the second half we will turn to the naive theory and start to develop a smooth infinitesimal analysis using the KockLawvere axiom. The corresponding sections in Lavendhomme’s book are 1.1.3,1.1.4 and 1.2.
This talk is part of the Synthetic Differential Geometry Seminar series.
This talk is included in these lists:
Note that exdirectory lists are not shown.
