Solution of the Voevodsky conjecture

Lecture outline:

• statement of the conjecture that asserts the effectiveness of the univalence principle;
• presentation of Rafaël Bocquet's proof of this conjecture, which uses most of the notions presented in this lecture.