nLab Ulrik Buchholtz

Selected writings

Selected writings

On cellular cohomology formulated in homotopy type theory:

Discussion of ∞-groups from the point of view of homotopy type theory:

On symmetry and introducing the language of homotopy type theory for univalent foundations of mathematics:

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

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

category: people

Last revised on January 20, 2023 at 17:33:38. See the history of this page for a list of all contributions to it.