University of Cambridge > Talks.cam > Synthetic Differential Geometry Seminar > Some model theory with C^\infty-rings and Smooth Infinitesimal Analysis

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Some model theory with C^\infty-rings and Smooth Infinitesimal Analysis

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^\infty-rings. In the second half we will turn to the naive theory and start to develop a smooth infinitesimal analysis using the Kock-Lawvere 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 ex-directory lists are not shown.

Other lists

Gender Potter room /https://cam-ac-uk.zoom.us/j/87235967698 Cambridge University Conservative Association

Other talks

Machine Politics? Computers and AI in the History of Political Thought Title to be confirmed Argentina 2005 Spectral rigidity of random covers of compact hyperbolic surfaces Group Presentation 3 Group Presentation 4
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity