BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Kock-Wraith axiom schema and Microlinearity - Filip Bár (Univ
 ersity of Cambridge)
DTSTART:20120229T160000Z
DTEND:20120229T170000Z
UID:TALK36679@talks.cam.ac.uk
CONTACT:Filip Bár
DESCRIPTION:Until now we have encountered with various kinds of notions of
  infinitesimals. In this talk we will develop a systematic approach toward
 s a general notion of infinitesimals using Weil algebras. This will enable
  us to generalize the K-L axiom to the _Kock-Wraith axiom schema_ and to g
 ive the definition of a _microlinear space_.\nThe category of microlinear 
 spaces is a Cartesian closed full subcategory of our smooth universe close
 d under all small limits. Moreover\, the category of microlinear spaces pr
 ovides a very general and very convenient framework for the geometry of in
 finitesimals\, which we will develop in the next talks beginning with tang
 ent vectors and the tangent bundle. 
LOCATION:Centre for Mathematical Sciences\, MR4
END:VEVENT
END:VCALENDAR