Sequential Colimits in Homotopy Type Theory

DOI10.1145/3373718.3394801zbMath1498.03035OpenAlexW3029044157MaRDI QIDQ5145685

Floris van Doorn, Kristina Sojakova, Egbert Rijke

Publication date: 21 January 2021

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

Full work available at URL: https://doi.org/10.1145/3373718.3394801

zbMATH Keywords

homotopy type theoryhigher inductive typessequential colimits

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Related Items (3)

Localization in Homotopy Type Theory ⋮ The Hurewicz theorem in homotopy type theory ⋮ Nilpotent types and fracture squares in homotopy type theory

This page was built for publication: Sequential Colimits in Homotopy Type Theory