School of Mathematics
Its importance for type theory cannot be overestimated: it is like the "induction principle" for arithmetic.
I will recall the homotopy interpretation of type theory and the notion of univalent fibration.
I will describe the connection between univalence and descent in higher toposes.
This workshop aims to explore connections between complexity and optimization with algebra and analysis, which have emerged from the works on operator scaling. The hope is to inform participants from different communities of both basic tools and new developments, and set out new challenges and directions for this exciting interdisciplinary research.