[Alta-Logic] peripatetic seminar tomorrow

[Jonathan Gallagher]

*Location: *ICT 616
*Time: *Friday the 13th at 11:15 am
*Speaker: *Matthew Burke
*Title*: Sites of Smooth Affine Schemes
*Abstract*:
   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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20171012/9a443f86/attachment.html