Ulrik Buchholtz

According to our database, Ulrik Buchholtz authored at least 16 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

The ∞-category of ∞categories in simplicial type theory.

Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz

CoRR, February, 2026

2025

The Yoneda embedding in simplicial type theory.

Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

Directed univalence in simplicial homotopy type theory.

Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz

CoRR, 2024

Epimorphisms and Acyclic Types in Univalent Mathematics.

Ulrik Buchholtz, Tom de Jong, Egbert Rijke

CoRR, 2024

On symmetries of spheres in univalent foundations.

Pierre Cagne, Ulrik Torben Buchholtz, Nicolai Kraus, Marc Bezem

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Primitive Recursive Dependent Type Theory.

Ulrik Torben Buchholtz, Johannes Schipp von Branitz

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

The long exact sequence of homotopy <i>n</i>-groups.

Ulrik Buchholtz, Egbert Rijke

Math. Struct. Comput. Sci., 2023

Central H-spaces and banded types.

Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke

CoRR, 2023

2021

Synthetic fibered (∞, 1)-category theory.

Ulrik Buchholtz, Jonathan Weinberger

CoRR, 2021

2019

Construction of the Circle in UniMath.

Marc Bezem, Ulrik Buchholtz, Daniel R. Grayson

CoRR, 2019

2018

Higher Groups in Homotopy Type Theory.

Ulrik Buchholtz, Floris van Doorn, Egbert Rijke

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Cellular Cohomology in Homotopy Type Theory.

Ulrik Buchholtz, Kuen-Bang Hou (Favonia)

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

The real projective spaces in homotopy type theory.

Ulrik Buchholtz, Egbert Rijke

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Homotopy Type Theory in Lean.

Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Varieties of Cubical Sets.

Ulrik Buchholtz, Edward Morehouse

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

The Cayley-Dickson Construction in Homotopy Type Theory.

Ulrik Buchholtz, Egbert Rijke

CoRR, 2016