1. Martin Arkowitz . 2011. Introduction to Homotopy Theory . Springer New York , New York, NY . https://doi.org/10.1007/978-1-4419-7329-0 Martin Arkowitz. 2011. Introduction to Homotopy Theory. Springer New York, New York, NY. https://doi.org/10.1007/978-1-4419-7329-0
2. Homotopy theoretic models of identity types
3. Higher‐dimensional algebra and topological quantum field theory
4. John C. Baez and Michael Shulman . 2010 . Lectures on n-Categories and Cohomology. In Towards Higher Categories, John C. Baez and J. Peter May (Eds.). The IMA Volumes in Mathematics and its Applications, Vol. 152. Springer New York , New York, NY, 1–68. https://doi.org/10.1007/978-1-4419-1524-5_1 John C. Baez and Michael Shulman. 2010. Lectures on n-Categories and Cohomology. In Towards Higher Categories, John C. Baez and J. Peter May (Eds.). The IMA Volumes in Mathematics and its Applications, Vol. 152. Springer New York, New York, NY, 1–68. https://doi.org/10.1007/978-1-4419-1524-5_1
5. The HoTT library: a formalization of homotopy type theory in Coq