Presented by:
Chris Kapulkin
Date:
Thursday 6th July 2017 - 13:00 to 13:40
Venue:
INI Seminar Room 2
Event:
Abstract:
Type theory is often referred to as the internal
language of higher categories. This covers a range of ideas: results from HoTT
can be interpreted in a variety of higher-categorical settings, and conversely,
many higher-categorical notions can be expressed and studied in type theory. In
this talk, I will report on the progress towards a single master theorem
subsuming many of these informal statements.
The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.