Free Higher Groups in Homotopy Type Theory

DOI10.1145/3209108.3209183zbMath1453.03003arXiv1805.02069OpenAlexW3106463532MaRDI QIDQ5145336

Nicolai Kraus, Thorsten Altenkirch

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

homotopy-type theorytruncation levelshigher algebraic structures

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Type theory (03B38)

Related Items (4)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A rewriting coherence theorem with applications in homotopy type theory

This page was built for publication: Free Higher Groups in Homotopy Type Theory