Matthew Burke

Date: September 6, 2017

Time: 2 pm

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.