Skip to main content

Guillaume Brunerie: π₄(S³) in homotopy type theory, part II

Time: Wed 2019-06-12 10.00 - 11.45

Location: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

Lecturer: Guillaume Brunerie

Abstract: This is a continuation of the seminar of May 29,

Belongs to: Department of Mathematics
Last changed: Jun 07, 2019