YoVDO

What is Homotopy Type Theory - HoTT

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Computer Science Courses Type Theory Courses Homotopy Type Theory Courses Homotopy Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the foundations of Homotopy Type Theory (HoTT) in this illuminating 38-minute lecture delivered by Steve Awodey at the Hausdorff Center for Mathematics. Delve into the core concepts and principles of HoTT, understanding its significance in modern mathematics and computer science. Gain insights into how this innovative theory bridges the gap between homotopy theory and type theory, offering new perspectives on mathematical foundations and computational logic.

Syllabus

Steve Awodey: What is HoTT?


Taught by

Hausdorff Center for Mathematics

Related Courses

Introduction to programming with dependent types in Scala
Stepik Georges Gonthier - Computer Proofs - Teaching Computers Mathematics, and Conversely
International Mathematical Union via YouTube A Fibrational Framework for Modal Dependent Type Theories
Hausdorff Center for Mathematics via YouTube A Fibrational Framework for Modal Simple Type Theories
Hausdorff Center for Mathematics via YouTube Discrete and Codiscrete Modalities in Cohesive HoTT
Hausdorff Center for Mathematics via YouTube