Univalence from a computer science point-of-view - Dan Licata
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceUnivalence from a computer science point-of-view by Dan Licata teaches a foundational concept from computer-science-informed mathematics. The computational angle makes this accessible while covering formal logic rigorously.
What you'll learn
A 56-minute video from Institute for Advanced Study: “Univalence from a computer science point-of-view - Dan Licata”.
Video by Institute for Advanced Study, played through YouTube's embedded player.