Formalization in Homotopy Type Theory - Equivalences, 3-for-2 and Definitional Equality
Offered By: Hausdorff Center for Mathematics via YouTube
Course Description
Overview
Explore a practical technique for proving map equivalence in this 48-minute lecture on formalization in Homotopy Type Theory (HoTT). Delve into the concepts of equivalences, the 3-for-2 property, and definitional equality as presented by Tom de Jong at the Hausdorff Center for Mathematics. Gain insights into advanced mathematical concepts and their applications in formal proofs within the context of HoTT.
Syllabus
Tom de Jong: Formalization in HoTT: equivalences, 3-for-2 and definitional equality
Taught by
Hausdorff Center for Mathematics
Related Courses
Introduction to programming with dependent types in ScalaStepik Georges Gonthier - Computer Proofs - Teaching Computers Mathematics, and Conversely
International Mathematical Union via YouTube A Fibrational Framework for Modal Dependent Type Theories
Hausdorff Center for Mathematics via YouTube A Fibrational Framework for Modal Simple Type Theories
Hausdorff Center for Mathematics via YouTube Discrete and Codiscrete Modalities in Cohesive HoTT
Hausdorff Center for Mathematics via YouTube