Axel Ljungström: Introduction to Homotopy Type Theory
Time: Fri 2022-02-11 13.15 - 14.15
Location: SU, Kräftriket 5, Room 32
Participating: 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?