Matthew Burke

Date: October 13, 2017
Time: 12:00 am - 12:00 am
Location: ICT 616
Title: Sites of Smooth Affine Schemes
In this talk we will sketch the construction of a few well-adapted models of synthetic differential geometry. Then we will recall the definition of an intuitionistic order relation and show how to define one in the Dubuc topos. Finally we will formulate Lie’s third theorem in a manner appropriate to this setup.