[Alta-Logic] informal talk on homotopy type theory

[Jonathan Gallagher]

Greetings,

There will be a brief, informal talk today on the topological model of
identity types.

Title: Topological spaces as a path object category
Speaker: Jonathan Gallagher
Location: ICT 616 @ 1:30 p.m. July 5.
Abstract:
We will present an example, due to Garner and van den Berg, that topological
spaces bear the structure of a path object category.  Path object categories
give rise to categorical models of identity types.  This will be a short
talk.

Sincerely,
Jonathan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160705/4dc316a7/attachment.html