AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off your first 3 months — limited time.
Unlock All Certificates
Explore André Joyal's in-depth conference talk on Vladimir Voevodsky's univalence principle, delivered at the Institute for Advanced Study. Delve into key concepts such as anodyne maps, kin complexes, type notation, dependent types, and the theory of Tribe. Examine the relationships between tight theory and Tribe, equivalence, and univariate vibration. Gain insights into Brown vibration categories, universal vibration, and the completion of univariant machines. This comprehensive presentation covers a wide range of topics in mathematical logic and type theory, offering a valuable resource for researchers and advanced students in the field.
