Homotopy type theory: the logic of space
classification
🧮 math.CT
math.LO
keywords
theorytypehomotopyanelbookcategory-theoreticcatrenchapter
read the original abstract
This is an introduction to type theory, synthetic topology, and homotopy type theory from a category-theoretic and topological point of view, written as a chapter for the book "New Spaces for Mathematics and Physics" (ed. Gabriel Catren and Mathieu Anel).
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.