Topos Institute
Videos from Topos Institute
Page 1 of 1 • 3 total videos
59:50
Exploring Orbifolds: A Synthetic Approach by David Jaz Myers 🌐
Topos Institute
1.3K views
55:53
Unraveling the Complexity of Countable Objects with Antonio Montalban 🔍
Topos Institute
690 views
1:10:05
Martín Escardó Explores Compact Totally Separated Types in Constructive Univalent Type Theory 🔍
Topos Institute
793 views