Homotopy Type Theory

Prerequisites

Good background in abstract algebra and logic; excellent programming skills; knowledge of some topology is a plus.