skip to content
 

HoTT research seminar (Coquand & Rijke)

Presented by: 
Andrew Pitts University of Cambridge
Date: 
Thursday 29th June 2017 - 15:30 to 17:30
Venue: 
INI Seminar Room 2
Abstract: 
15:30-16:30: Thierry Coquand (Chalmers), "Cubical stacks"

16:30-17:30: Egbert Rijke (CMU), “Colimits, descent and equifibrant replacement”
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.
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons