Statistics
Publications
3
Citations
39
H-Index
3
Active since
2017
Affiliations
Technische Universität Darmstadt(Current)
Ulrik Buchholtz is an author at Technische Universität Darmstadt specializing in homotopy theory, homotopy type theory, and natural sciences.
Publications per year
2017–2023
3
3
The real projective spaces in homotopy type theory
Ulrik Buchholtz, Egbert Rijke · 2017 · 17 citations
Cellular Cohomology in Homotopy Type Theory
Ulrik Buchholtz, Kuen-Bang Hou Favonia · 2018 · 12 citations · Full text
Synthetic fibered (∞,1)-category theory
Jonathan Weinberger, Ulrik Buchholtz · 2023 · 10 citations · Full text
1–3 of 3