Homotopy Type Theory: A synthetic approach to higher equalities
published by Michael Shulman
in 2016
and research's language is
English
Download
Abstract in English
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)