[Alta-Logic] peripatetic seminar Monday at 1 pm

[Jonathan Gallagher]

There are two talks on Monday in the peripatetic seminar:

Time: Monday May 22, 2017 at 1 pm
Location: ICT 616


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/20170517/08156c21/attachment.html