Rijke, Egbert

1. Introduction to Homotopy Type Theory
   2022/12/21 by Egbert Rijke, Rijke, Egbert · 7 voices · 10 citations
   Mathematics · Computer Science · #History and Theory of Mathematics #Logic, programming, and type systems #Advanced Algebra and Logic
2. 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
3. The join construction
   2017/01/26 by Rijke, Egbert · 1 citation
   #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)
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 Ulrik Buchholtz, Buchholtz, Ulrik, Egbert Rijke +1 · 1 citation
   Decision Sciences · Mathematics · #03B15 (Secondary) #55U35 (Primary) 55R65 #Advanced Topology and Set Theory #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Fuzzy and Soft Set Theory #Homotopy and Cohomology in Algebraic Topology