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

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

Some model theory with C^\infty-rings 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^\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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Brain Mapping Unit Networks Meeting and the Cambridge Connectome Consortium Wall Street meets Lincoln's Inn! Cambridge University Global Health Student Initiative - Seminar Series

Other talks

Formation and disease relevance of axonal endoplasmic reticulum, a "neuron within a neuron”. CANCELLED: The rise and fall of the Shopping Mall: dialogues on the relationship of commerce and city Develop a tool for inferring symptoms from prescriptions histories for cancer patients Don't be Leeroy Jenkins – or how to manage your research data without getting your whole project wiped out Anthropology, mass graves and the politics of the dead Primary liver tumor organoids: a new pre-clinical model for drug sensitivity analysis A transmissible RNA pathway in honeybees Throwing light on organocatalysis: new opportunities in enantioselective synthesis Fields of definition of Fukaya categories of Calabi-Yau hypersurfaces Stereodivergent Catalysis, Strategies and Tactics Towards Secondary Metabolites as enabling tools for the Study of Natural Products Biology Protein Folding, Evolution and Interactions Symposium Regulators of Muscle Stem Cell Fate and Function
 

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