[Alta-Logic] talk: Friday at 11:15 am in ICT 616

[Jonathan Gallagher]

There is a talk this Friday!  Details below.

*Location*: ICT 616
*Date*: Friday at 11:15 am.  September 22.
*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/20170919/e2eeac7f/attachment.html