BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Lie's Third Theorem in Synthetic Differential Geometry - Matthew B
 urke (MathSpire Ltd)
DTSTART:20170502T131500Z
DTEND:20170502T141500Z
UID:TALK72365@talks.cam.ac.uk
CONTACT:Tamara von Glehn
DESCRIPTION:This talk will describe a generalisation of Lie's third theore
 m in which Lie\ngroups are replaced by a special type of category. The loc
 al approximation\nof such a category will be constructed using an intuitio
 nistic double\nnegation operation. First we will review the classical Lie 
 correspondence\nand recall the definition of the germ of a local Lie group
 . Then we will\ndiscuss a few attempts to generalise Lie's third theorem b
 y considering\ndifferent approximation procedures and working in different
  ambient\ncategories. Finally we will sketch a proof of Lie's third theore
 m using the\ndouble negation approximation procedure and the theory of syn
 thetic\ndifferential geometry.
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR