Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Discrete and Codiscrete Modalities in Cohesive HoTT

Hausdorff Center for Mathematics via YouTube

Overview

Explore discrete and codiscrete modalities in Cohesive Homotopy Type Theory (HoTT) through this in-depth tutorial lecture. Delve into recent developments in modal extensions of homotopy type theory, examining their applications in synthetic formalizations of topology, differential geometry, and spectra. Gain insights into internal language presentations of cubical models of HoTT. Learn about the fibrational framework for modal simple and dependent type theories, the shape modality in real-cohesive HoTT, and covering spaces. Discover the intricacies of discrete and codiscrete modalities in cohesive HoTT, and explore differential cohesive HoTT. Benefit from the collaborative research efforts of experts in the field, including Jacob Gross, Max S. New, Ian Orton, Jennifer Paykin, Andrew M. Pitts, Egbert Rijke, Mitchell Riley, Urs Schreiber, Michael Shulman, and Bas Spitters.

Syllabus

Tutorial 3 Dan Licata: Discrete and Codiscrete Modalities in Cohesive HoTT

Taught by

Hausdorff Center for Mathematics

Reviews

Start your review of Discrete and Codiscrete Modalities in Cohesive HoTT

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.