Constructive Type Theory and Homotopy

Date:

Fri, 12/03/2010 -

11:00 to 12:00

Location:

S-101

In recent research it has become clear that there are fascinating connections between constructive mathematics, especially as formulated in the type theory of Martin-Löf, and homotopy theory, especially in the modern treatment in terms of Quillen model categories and higher-dimensional categories. This talk will survey some of these developments.

event_id:

40 448

369