On cellular cohomology formulated in homotopy type theory:
Discussion of ∞-groups from the point of view of homotopy type theory:
Ulrik Buchholtz, Floris van Doorn, Egbert Rijke, Higher Groups in Homotopy Type Theory, LICS ‘18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (2018) 205-214 [arXiv:1802.04315, doi:10.1145/3209108.3209150]
Ulrik Buchholtz, Notes on higher groups and projective spaces, 2016 (pdf)
On symmetry and introducing the language of homotopy type theory for univalent foundations of mathematics:
On -category theory:
On delooping, H-spaces and Eilenberg-MacLane spaces in homotopy type theory:
Last revised on January 20, 2023 at 17:33:38. See the history of this page for a list of all contributions to it.