Buchholtz, Ulrik

1. Directed univalence in simplicial homotopy type theory
   2024/07/12 by Daniel Gratzer, Gratzer, Daniel, Jonathan Weinberger +3 · 3 citations
   Mathematics · #03B38 #18B50 #18D30 #18N45 #18N50 #18N60 #55U35 #Advanced Topics in Algebra #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO)
2. The Yoneda embedding in simplicial type theory
   2025/01/22 by Daniel Gratzer, Gratzer, Daniel, Jonathan Weinberger +3 · 1 voice · 3 citations
   Mathematics · #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #cs.LO #math.AT #math.CT
3. The Cayley-Dickson Construction in Homotopy Type Theory
   2016/10/04 by Ulrik Buchholtz, Egbert Rijke, Buchholtz, Ulrik +1 · 1 citation
   Mathematics · Physics and Astronomy · #Algebraic and Geometric Analysis #Homotopy and Cohomology in Algebraic Topology #Noncommutative and Quantum Gravity Theories
4. The real projective spaces in homotopy type theory
   2017/04/19 by Ulrik Buchholtz, Buchholtz, Ulrik, Egbert Rijke +1 · 1 citation
   Mathematics · #03B15 #55P20 #55U35 #Algebraic Topology (math.AT) #FOS: Mathematics #History and Theory of Mathematics #Homotopy and Cohomology in Algebraic Topology #Mathematics and Applications
5. The long exact sequence of homotopy n-groups
   2019/12/18 by Buchholtz, Ulrik, Rijke, Egbert · 1 citation
   #03B15 (Secondary) #55U35 (Primary) 55R65 #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics