Edit Profile (opens in new tab) Rijke, Egbert Co-Author Distance Author ID: rijke.egbert Published as: Rijke, Egbert Homepage: https://github.com/EgbertRijke External Links: MGP · ORCID · Google Scholar · Twitter · dblp Videos: carmin.tv Documents Indexed: 17 Publications since 2015, including 6 Additional arXiv Preprints 1 Further Contribution Co-Authors: 14 Co-Authors with 15 Joint Publications 172 Co-Co-Authors all top 5 Co-Authors 3 single-authored 5 Buchholtz, Ulrik 4 Spitters, Bas 3 Christensen, J. Daniel 2 Ahrens, Benedikt 2 Shulman, Michael A. 2 Sojakova, Kristina 2 van Doorn, Floris 1 Aczel, Peter 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Avigad, Jeremy 1 Awodey, Steve 1 Barras, Bruno 1 Bauer, Andrej 1 Bertot, Yves 1 Bezem, Marc 1 Bordg, Anthony 1 Brunerie, Guillaume 1 Cherubini, Felix 1 Cohen, Cyril 1 Constable, Robert Lee 1 Coquand, Thierry 1 Curien, Pierre-Louis 1 Dybjer, Peter 1 Emmenegger, Jacopo 1 Finster, Eric 1 Flaten, Jarl G. Taxerås 1 Gambino, Nicola 1 Garner, Richard 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Harper, Robert 1 Herbelin, Hugo 1 Hofmann, Martin 1 Hofstra, Pieter J. W. 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Joyal, André 1 Kapulkin, Krzysztof 1 Kock, Joachim 1 Kraus, Nicolai 1 Li, Nuo 1 Licata, Dan 1 Lumsdaine, Peter LeFanu 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Mangel, Éléonore 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Nahas, Michael 1 North, Paige Randall 1 Opie, Morgan 1 Palmgren, Erik 1 Pelayo, Alvaro 1 Polonsky, Andrew 1 Riehl, Emily 1 Scoccola, Luis Nerio 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 1 Van den Berg, Benno 1 Voevodskiĭ, Vladimir Aleksandrovich 1 Warren, Michael Alton 1 Zeilberger, Noam Serials 3 Mathematical Structures in Computer Science 2 Higher Structures 1 Journal of Pure and Applied Algebra 1 Nieuw Archief voor Wiskunde. Vijfde Serie 1 Logical Methods in Computer Science Fields 13 Mathematical logic and foundations (03-XX) 10 Algebraic topology (55-XX) 8 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 82 times in 48 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 258 2013 Modalities in homotopy type theory. Zbl 1489.03005 Rijke, Egbert; Shulman, Michael; Spitters, Bas 24 2020 Higher groups in homotopy type theory. Zbl 1452.03034 Buchholtz, Ulrik; van Doorn, Floris; Rijke, Egbert 15 2018 The real projective spaces in homotopy type theory. Zbl 1452.03033 Buchholtz, Ulrik; Rijke, Egbert 15 2017 Sets in homotopy type theory. Zbl 1362.03007 Rijke, Egbert; Spitters, Bas 9 2015 Localization in homotopy type theory. Zbl 1439.18023 Christensen, J. Daniel; Peck Opie, Morgan; Rijke, Egbert; Scoccola, Luis Nerio 7 2020 The Cayley-Dickson construction in homotopy type theory. Zbl 1522.03039 Buchholtz, Ulrik; Rijke, Egbert 5 2018 Modal descent. Zbl 1481.18029 Cherubini, Felix; Rijke, Egbert 3 2021 Sequential colimits in homotopy type theory. Zbl 1498.03035 Sojakova, Kristina; Doorn, Floris van; Rijke, Egbert 3 2020 Characterizations of modalities and lex modalities. Zbl 1482.18015 Christensen, J. Daniel; Rijke, Egbert 1 2022 Characterizations of modalities and lex modalities. Zbl 1482.18015 Christensen, J. Daniel; Rijke, Egbert 1 2022 Modal descent. Zbl 1481.18029 Cherubini, Felix; Rijke, Egbert 3 2021 Modalities in homotopy type theory. Zbl 1489.03005 Rijke, Egbert; Shulman, Michael; Spitters, Bas 24 2020 Localization in homotopy type theory. Zbl 1439.18023 Christensen, J. Daniel; Peck Opie, Morgan; Rijke, Egbert; Scoccola, Luis Nerio 7 2020 Sequential colimits in homotopy type theory. Zbl 1498.03035 Sojakova, Kristina; Doorn, Floris van; Rijke, Egbert 3 2020 Higher groups in homotopy type theory. Zbl 1452.03034 Buchholtz, Ulrik; van Doorn, Floris; Rijke, Egbert 15 2018 The Cayley-Dickson construction in homotopy type theory. Zbl 1522.03039 Buchholtz, Ulrik; Rijke, Egbert 5 2018 The real projective spaces in homotopy type theory. Zbl 1452.03033 Buchholtz, Ulrik; Rijke, Egbert 15 2017 Sets in homotopy type theory. Zbl 1362.03007 Rijke, Egbert; Spitters, Bas 9 2015 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 258 2013 all cited Publications top 5 cited Publications all top 5 Cited by 65 Authors 7 Buchholtz, Ulrik 7 Rijke, Egbert 4 Christensen, J. Daniel 3 Birkedal, Lars 3 Coquand, Thierry 3 Kavvos, G. A. 3 Myers, David Jaz 3 Scoccola, Luis Nerio 3 Spitters, Bas 3 van der Weide, Niels 3 van Doorn, Floris 2 Anel, Mathieu 2 Biedermann, Georg 2 Finster, Eric 2 Gratzer, Daniel 2 Joyal, André 2 Nuyts, Andreas 2 Sattler, Christian 2 Shulman, Michael A. 2 Swan, Andrew W. 1 Altenkirch, Thorsten 1 Bidlingmaier, Martin E. 1 Brogi, Cosimo Perini 1 Buss, Samuel R. 1 Carette, Jacques 1 Cavallo, Evan 1 Chen, Chao-Hong 1 Cherubini, Felix 1 Choudhury, Vikraman 1 Clouston, Ranald A. 1 Coghetto, Roland 1 Contente, Michele 1 de Jong, Tom J. 1 Emmenegger, Jacopo 1 Faissole, Florian 1 Flaten, Jarl G. Taxerås 1 Geuvers, Jan Herman 1 Harper, Robert 1 Hötzel Escardó, Martín 1 Hou Favonia, Kuen-Bang 1 Hou (Favonia), Kuen-Bang 1 Huber, Simon 1 Iemhoff, Rosalie 1 Isaev, Valery 1 Kohlenbach, Ulrich Wilhelm 1 Kraus, Nicolai 1 Lumsdaine, Peter LeFanu 1 Maietti, Maria Emilia 1 Mannaa, Bassel 1 Marquis, Jean-Pierre 1 Møgelberg, Rasmus Ejlers 1 Mörtberg, Anders 1 Opie, Morgan 1 Pitts, Andrew M. 1 Rathjen, Michael 1 Ruch, Fabian 1 Sabry, Amr 1 Sati, Hisham 1 Schreiber, Urs 1 Sojakova, Kristina 1 Uemura, Taichi 1 Veltri, Niccolò 1 Vezzosi, Andrea 1 von Raumer, Jakob 1 Warn, David E. all top 5 Cited in 15 Serials 9 Mathematical Structures in Computer Science 9 Logical Methods in Computer Science 3 Higher Structures 2 Journal of Pure and Applied Algebra 1 Communications in Mathematical Physics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Advances in Mathematics 1 Studia Logica 1 Theoretical Computer Science 1 Differential Geometry and its Applications 1 Algebraic & Geometric Topology 1 Oberwolfach Reports 1 Journal of Homotopy and Related Structures 1 Journal of Topology 1 Formalized Mathematics all top 5 Cited in 10 Fields 39 Mathematical logic and foundations (03-XX) 24 Category theory; homological algebra (18-XX) 23 Algebraic topology (55-XX) 10 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Measure and integration (28-XX) 1 Geometry (51-XX) 1 Manifolds and cell complexes (57-XX) 1 Quantum theory (81-XX) Citations by Year