BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Synthetic Version of Lie's Second Theorem - Matthew Burke (Masar
 yk University)
DTSTART:20151117T141500Z
DTEND:20151117T151500Z
UID:TALK61325@talks.cam.ac.uk
CONTACT:Dr Ignacio Lopez Franco
DESCRIPTION:This talk will describe an axiomatic treatment of Lie's second
 \ntheorem which generalises the classical version by replacing Lie groups\
 nwith a special type of category. First we will recall a category theoreti
 c\nformulation of Lie's second and third theorems and briefly review the\n
 classical formal group law construction. Then we will sketch how to use th
 e\ntheory of synthetic differential geometry to define the infinitesimal p
 art\nof a category. Finally we will abstract from this situation the appro
 priate\ndata and properties that suffice to give a formal proof of the Lie
 's second\ntheorem for categories.
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR