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
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