Homotopy Type Theory: A synthetic approach to higher equalities
Logic
2016-01-28 v3 Category Theory
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)
Keywords
Cite
@article{arxiv.1601.05035,
title = {Homotopy Type Theory: A synthetic approach to higher equalities},
author = {Michael Shulman},
journal= {arXiv preprint arXiv:1601.05035},
year = {2016}
}
Comments
16 pages. v2: fixed internal cross-references. v3: added sentence introducing refl