nLab Ulrik Buchholtz

• webpage

Selected writings

On cellular cohomology formulated in homotopy type theory:

• Ulrik Buchholtz, Kuen-Bang Hou (Favonia), Cellular Cohomology in Homotopy Type Theory, Logical Methods in Computer Science, Volume 16, Issue 2 (June 1, 2020) (arXiv:1802.02191, lmcs:6518)

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:

• Marc Bezem, Ulrik Buchholtz, Pierre Cagne, Bjørn Ian Dundas, Daniel R. Grayson: Symmetry (2021) $[$pdf$]$

On $(\infty,1)$-category theory:

• Ulrik Buchholtz, Jonathan Weinberger, Synthetic fibered $(\infty,1)$-category theory $[$arXiv:2105.01724, talk slides$]$

On delooping, H-spaces and Eilenberg-MacLane spaces in homotopy type theory:

• Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke, Central H-spaces and banded types [arXiv:2301.02636]

category: people