
Meet the Project: 'Homotopy Type Theory and Univalent Foundations'
The 2018/19 CAS project in the natural sciences aims to push a new mathematical theory forward.
Here, we publish articles about the Centre and its activities, as well as interviews with our scholars about their time at CAS and the progress and results of their research.