presentation of homotopy type theory

IMAGES

1. Rational Homotopy Theory: A Brief Introduction: Kathryn Hess

   

2. Homotopy Type Theory

   

3. Homotopy Type Theory Explained

   

4. Modalities in homotopy type theory

   

5. Introduction to Homotopy Type Theory

   

6. Homotopy Type Theory Permits ‘Logic of Homotopy Types’