BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Smooth Infinitesimal Analysis III - Filip Bár (University of Camb
 ridge)
DTSTART:20120222T160000Z
DTEND:20120222T170000Z
UID:TALK36618@talks.cam.ac.uk
CONTACT:Filip Bár
DESCRIPTION:This will be the last talk on Smooth Infinitesimal Analysis. W
 ith Fubini's theorem we will conclude the reformulation of classical analy
 sis within SDG using just the Kock-Lawvere and Integration axiom and move 
 on to some further important concepts: the infinitesimal neighborhoods of 
 the diagonal and the Fermat-Reyes axiom. We will prove the Fermat-Reyes ax
 iom from the integration axiom. Using Fermat-Reyes we will show R^n reflex
 ive. (This will be of importance for later results\, since reflexivity is 
 an algebraic reformulation of paracompactness of smooth manifolds.)\n
LOCATION:Centre for Mathematical Sciences\, MR4
END:VEVENT
END:VCALENDAR