Cellular Cohomology in Homotopy Type Theory

DOI10.1145/3209108.3209188zbMath1452.55016arXiv1802.02191OpenAlexW2963483416MaRDI QIDQ5145328

Kuen-Bang Hou Favonia, Ulrik Buchholtz

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/1802.02191

zbMATH Keywords

homotopy type theorymechanized reasoningcellular cohomology

Mathematics Subject Classification ID

Generalized (extraordinary) homology and cohomology theories in algebraic topology (55N20) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Type theory (03B38)

Related Items (2)

The Hurewicz theorem in homotopy type theory ⋮ Construction of the circle in \textit{UniMath}

Uses Software

• Agda

This page was built for publication: Cellular Cohomology in Homotopy Type Theory