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:

On higher structures in homotopy type theory:

On epimorphisms and acyclic types in univalent type theory:

category: people

Last revised on February 22, 2024 at 06:46:09. See the history of this page for a list of all contributions to it.