Infomation

Overview

Homotopy type theory (HoTT) is a new and exciting approach to the foundations of mathematics. This workshop will bring together type theorists and homotopy theorists. The aim of the workshop is to develop an understanding of the possible applications of HoTT (and similar systems) to homotopy theory, and to discuss what is required from a foundational system for it to be convenient for homotopical mathematics.