​Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)

Round-16 hunt: picked; source: course-code search in local formats (r16); channel screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality tier C + tier-C depth check passed; strict per-title check + final strict pass; oEmbed verified.

A 82-minute video from FOMUS 2016: “​Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)”.

Video by FOMUS 2016, played through YouTube's embedded player.