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

**Abstract**

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?