[Alta-Logic] Seminar tomorrow

[Jonathan Gallagher]

There will be two talks tomorrow at 3:00 in MS 427!

Talk1: Jonathan Gallagher
Abstract: This talk will continue the investigation into internal
categories.
We will review externalization and internal base valued functors.

Talk2: Ben MacAdam
Abstract: This talk will introduce synthetic differential geometry!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20151001/9dcbbd4d/attachment.html