Functions out of Higher Truncations

DOI10.4230/LIPIcs.CSL.2015.359zbMath1373.03011arXiv1507.01150OpenAlexW2963146135MaRDI QIDQ5351968

Andrea Vezzosi, Paolo Capriotti, Nicolai Kraus

Publication date: 31 August 2017

Full work available at URL: https://arxiv.org/abs/1507.01150

zbMATH Keywords

homotopy type theorytruncation eliminationconstancy on loop spaces

Mathematics Subject Classification ID

Related Items (1)

A rewriting coherence theorem with applications in homotopy type theory

Uses Software

• Agda

This page was built for publication: Functions out of Higher Truncations