Bitte aktivieren Sie Javascript in Ihrem Browser
Mediathek
Start
(current)
Kanäle
Tags
Charts
Nicht eingeloggt (
Login
)
Lecture 16 -- Wednesday, 3rd of June
Leertaste
= Abspielen/Pausieren
m
= Stumm
f
= Vollbild (Fullscreen)
Tashi Walde
Lecture 16 -- Wednesday, 3rd of June
Fundamental theorem of identity types
Identity type of Pi types, Sigma types, coproduction types and natural numbers
Fiber criterion for equivalences
HoTT 2026