# 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:

category: people

Last revised on September 2, 2022 at 09:03:42. See the history of this page for a list of all contributions to it.