Homotopy Type Theory: A synthetic approach to higher equalities

2016/01/19 by Michael Shulman, Shulman, Michael
Arts and Humanities · #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Pragmatism in Philosophy and Education

paper · pdf · doi:10.48550/arxiv.1601.05035

openalex publication_date 2016/01/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This is an introduction to Homotopy Type Theory and Univalent Foundations for philosophers, written as a chapter for the book "Categories for the Working Philosopher" (ed. Elaine Landry)

Related

• Homotopy Type Theory: Univalent Foundations of Mathematics
• Homotopy type theory: the logic of space
• Introduction to Homotopy Type Theory
• Type theory and homotopy
• Classifying Types