Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ulrik Buchholtz
Map detail
Ulrik Buchholtz3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipUlrik BuchholtzAUlrik BuchholtzResearcherSynthetic fibered $(\infty,1)$-category theoryWSynthetic fibered $(\in...preprint / 2022Directed univalence in simplicial homotopy type theoryWDirected univalence in ...preprint / 2026
Person2 links

Ulrik Buchholtz

Researcher