Course page Home page Home page CoursesNew course

Homotopy type theory: Mathematical Logic course | Zoonk

47. Homotopy type theory

Treats equality through paths, higher-dimensional structure, and the univalence principle. The chapter develops core ideas of homotopy type theory and shows how they change formal reasoning about equivalence.

Mathematical Logic

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc