Tom de Jong: Formalization in HoTT: equivalences, 3-for-2 and definitional equality
A practical technique for proving that a map is an equivalence
🔥 Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
THIS VIDEO IS TRENDING!
This video is currently trending in Singapore under the topic 'itoto system 12'.
About this video
A practical technique for proving that a map is an equivalence
Video Information
Views
134
Total views since publication
Likes
6
User likes and reactions
Duration
47:47
Video length
Published
May 31, 2024
Release date
Quality
hd
Video definition
About the Channel
Tags and Topics
This video is tagged with the following topics. Click any tag to explore more related content and discover similar videos:
Tags help categorize content and make it easier to find related videos. Browse our collection to discover more content in these categories.