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

YouTube

A Fibrational Framework for Modal Simple Type Theories

Hausdorff Center for Mathematics via YouTube

Overview

Explore a comprehensive tutorial on modal simple type theories within a fibrational framework. Delve into the first part of a series on modal extensions of homotopy type theory, presented by Dan Licata at the Hausdorff Center for Mathematics. Gain insights into the design frameworks and applications of these type theories in synthetic formalizations of topology, differential geometry, and spectra. Discover how this work contributes to real-cohesive and differential-cohesive homotopy type theory. Learn about the connections between modal simple type theories and covering spaces, discrete and codiscrete modalities, and the shape modality in real-cohesive HoTT. Understand the collaborative efforts behind this research, involving contributions from multiple experts in the field.

Syllabus

Tutorial 1 Dan Licata: A Fibrational Framework for Modal Simple Type Theories

Taught by

Hausdorff Center for Mathematics

Reviews

Start your review of A Fibrational Framework for Modal Simple Type Theories

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.