YoVDO

A Fibrational Framework for Modal Simple Type Theories

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Computer Science Courses Topology Courses Differential Geometry Courses Homotopy Type Theory Courses

Course Description

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

Related Courses

Nonlinear Dynamics 1: Geometry of Chaos
Georgia Institute of Technology via Independent
Geometría diferencial y Mecánica: una introducción
Universidad de La Laguna via Miríadax
Geometría diferencial y Mecánica: una introducción
Universidad de La Laguna via Miríadax
Differential Geometry
Math at Andrews via YouTube
On Gradient-Based Optimization - Accelerated, Distributed, Asynchronous and Stochastic
Simons Institute via YouTube