Skip to main content

Axel Ljungström: Introduction to Homotopy Type Theory

Time: Fri 2022-02-11 13.15 - 14.15

Location: SU, Kräftriket 5, Room 32

Lecturer: Axel Ljungström (Stockholm University)


The aim of this talk is to give an informal introduction to the fundamentals of Homotopy Type Theory (HoTT). For those of you who slept through Logic 1: don’t worry — my intention is to emphasise the homotopy theoretic aspects of the theory. I will (try to) answer questions like:
– What is a type?
– What is univalence?
– How and why can type theory be used to reason about topological spaces?