COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Synthetic Differential Geometry Seminar > Smooth Infinitesimal Analysis

## Smooth Infinitesimal AnalysisAdd to your list(s) Download to your calendar using vCal - Filip Bár (University of Cambridge)
- Wednesday 08 February 2012, 16:00-17:00
- Centre for Mathematical Sciences, MR4.
If you have a question about this talk, please contact Filip Bár. This talk provides an introduction to Smooth Infinitesimal Analysis (SIA) using the Kock-Lawvere axiom. We will consider first the one-dimensional case and then, after introducing the notion of Kock-Lawvere module (called ‘Euclidean R-module’ in Lavendhomme), we will move on to K-L modules are stable under exponentiation and we shall see that in the smooth world a Gâteaux-differential is in fact already a Fréchet differential. In particular, our calculus works on spaces of functionals considered in the calculus of variations in the same way as in finite dimensions. Finally, we will introduce a compatible preoder on our ring R and the integration axiom. The usual rules to calculate integrals will be obtained very easily from this and the K-L axiom. Higherdimensional integrals will be defined via iterated integration and Fubini’s theorem. The corresponding sections in Lavendhomme’s book are 1.1.3,1.1.4, 1.2 and 1.3. 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 listsQueens' Arts Seminar Chemistry IfM Seminars## Other talksSingle Cell Seminars (September) Strong Bonds, Affective Labour: Sexually Transmitted Infections and the Work of History Biological and Clinical Features of High Grade Serous Ovarian Cancer Perfect toposes and infinitesimal weak generation Universality in Active Matter Feeding your genes: The impact of nitrogen availability on gene and genome sequence evolution Graded linearisations for linear algebraic group actions Animal Migration Lunchtime Talk: Helen's Bedroom Singularities of Hermitian-Yang-Mills connections and the Harder-Narasimhan-Seshadri filtration Cyclic Peptides: Building Blocks for Supramolecular Designs Regulators of Muscle Stem Cell Fate and Function |