About
Press
Copyright
Contact us
Creators
Advertise
Developers
Terms
Privacy
Policy & Safety
How YouTube works
Test new features
NFL Sunday Ticket
© 2026 Google LLC
CSCI 8980 Higher-Dimensional Type Theory, 2020 Spring (since 3/19) - YouTube