School on Univalent Mathematics - 2022

 

Website:

https://unimath.github.io/cortona2022/

 

How to complete your enrollment:

https://www.smi-math.unipr.it/cortona/how-to-enroll/95/

 

Organizers:

Benedikt Ahrens
Marco Maggesi

 

Overview:

Homotopy Type Theory and Univalent Mathematics are emerging fields of mathematics that study a fruitful relationship between homotopy theory and (dependent) type theory. This relation plays a crucial role in Voevodsky's program of Univalent Foundations, a new approach to foundations of mathematics, based on ideas from homotopy theory, such as the Univalence Principle.

The UniMath library is a large repository of computer-checked mathematics, developed from the univalent viewpoint. It is freely available for everyone, as an open-source project, from the web. The School will give many young researchers an opportunity to familiarize themselves with the UniMath library and become contributors.