Matthew Burke

Date: September 6, 2017
Time: 12:00 am - 12:00 am
Location: ICT616

Lie’s Third Theorem using an Intuitionistic Double Negation
In this talk we will describe the construction of a local approximation of category in a certain well adapted model of synthetic differential geometry. This approximation is analogous to the germ of a local Lie group and is constructed using an intuitionistic double negation. After giving the basic definitions we will sketch a proof of Lie’s third theorem in this context.