Matthew Burke

Title:
Lie’s Third Theorem using an Intuitionistic Double Negation
Abstract:
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.