[Alta-Logic] peripatetic seminars today

[Jonathan Gallagher]

Time: Monday May 24, 2017 at 11:30 am
Location: MS431

Talk 1:
Speaker: Ben MacAdam
Title: Indexed linear systems of maps
Abstract:
Indexed linear systems of maps will be introduced,
and used to explore some linear-logical aspects of
\topological vector bundles.

Talk 2:
Speaker: Jonathan Gallagher
Title: Path object categories and fibrations
Abstract:
We will introduce path objects and the cloven
weak factorization systems they imply.  We
will develop their display system of type theoretic
fibre bunldes with a slant towards connecting
these to tangent categories.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20170524/7c886eaf/attachment.html