thesis

presentation of homotopy type theory

IMAGES

  1. Homotopy Type Theory Agda

    presentation of homotopy type theory

  2. Homotopy type theory

    presentation of homotopy type theory

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

    presentation of homotopy type theory

  4. Table 1 from Homotopy Type Theory: Univalent Foundations of Mathematics

    presentation of homotopy type theory

  5. [PDF] Covering Spaces in Homotopy Type Theory

    presentation of homotopy type theory

  6. Homotopy type theory

    presentation of homotopy type theory

VIDEO

  1. Category Theory III 1.2: Overview part 2

  2. Homotopy type

  3. Tangent bundles and Euler classes

  4. Univalent Double Categories

  5. Internal and Observational Parametricity for Cubical Agda

  6. the cartesian product: type theory vs. set theory