Till innehåll på sidan

Reading course: Homotopy Type Theory

Tid: Ti 2016-11-01 kl 10.00 - Ti 2016-12-20 kl 11.00

Plats: Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University

Exportera till kalender

We’re running a reading course on Homotopy Type Theory!  May be of particular interest to PhD/masters students in topology (esp. homotopy theory) and logic (including computer science).  The first meeting was this Tuesday (sorry for late announcement) but it’s not too late to join; email Peter LeFanu Lumsdaine,  p.l.lumsdaine@math.su.se , if interested.

Schedule: Tuesdays, 10:00–12:00, Hus 6 rum 306, Kräftriket, 1 Nov – 20 Dec

Text: The HoTT Book,  homotopytypetheory.org/book/

Prerequisites: some mathematical logic; good general mathematical maturity.  Also helpful but not essential: algebraic topology/homotopy theory; category theory.

Format: individual reading+exercises; weekly student-led discussion/exercise sessions.

Timetable of topics and presenters:  docs.google.com/spreadsheets/d/1aRYwsjHch68XJMXJlnTEJ555vEY0yaFOarC25nHOgs0