Bitte aktivieren Sie Javascript in Ihrem Browser
Mediathek
Start
(current)
Kanäle
Tags
Charts
Nicht eingeloggt (
Login
)
Lecture 24 -- Wednesday, 1st of July
Leertaste
= Abspielen/Pausieren
m
= Stumm
f
= Vollbild (Fullscreen)
Tashi Walde
Lecture 24 -- Wednesday, 1st of July
Univalent categories:
adjunctions and adjoint equivalences
isomorphisms of precategories
equivalences of categories and the fundamental theorem of category
HoTT 2026