Tom de Jong on Formalization in HoTT: Mastering Equivalences & Definitional Equality 🔍
Discover practical techniques for proving that a map is an equivalence in Homotopy Type Theory, including the 3-for-2 property and definitional equality, with insights from Tom de Jong.
Hausdorff Center for Mathematics
134 views • May 31, 2024
About this video
A practical technique for proving that a map is an equivalence
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
134
Likes
6
Duration
47:47
Published
May 31, 2024
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.