[Alta-Logic] informal talk today

Tue Feb 16 11:29:25 MST 2016

There will be an informal talk today at 3pm in ICT 616.

Title: Universal Objects in Cartesian Differential Categories
Abstract: We will investigate when an object $U$ in a category
with products determines a differential structure on the entire
category.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160216/ee019227/attachment.html