nLab Egbert Rijke

• personal page

• page on HoTT site

• github page

Selected writings

Discussion of $\infty$-groups in homotopy type theory:

• Ulrik Buchholtz, Floris van Doorn, Egbert Rijke, Higher Groups in Homotopy Type Theory, LICS ‘18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (2018) 205-214 [arXiv:1802.04315, doi:10.1145/3209108.3209150]

On homotopy type theory (synthetic homotopy theory):

• Egbert Rijke, Homotopy type theory (2012) (pdf)

• Egbert Rijke, Introduction to Homotopy Type Theory (2022) (pdf, GitHub)

• Egbert Rijke, Classifying Types (arXiv:1906.09435)

On modal homotopy type theory:

• Egbert Rijke, Mike Shulman, Bas Spitters, Modalities in homotopy type theory, Logical Methods in Computer Science, January 8, 2020, Volume 16, Issue 1 (arXiv:1706.07526, episciences:6015)

• Felix Cherubini, Egbert Rijke, Modal Descent, Mathematical Structures in Computer Science 31 4 (2021) 363-391 [doi:10.1017/S0960129520000201, arXiv:2003.09713]

  (such as concerning homotopy n-types/n-truncation modality and covering spaces)

• J. Daniel Christensen, Egbert Rijke, Characterizations of modalities and lex modalities (arXiv:2008.03538)

On localization (in algebraic topology) formulated in modal homotopy type theory:

• J. Daniel Christensen, Morgan Opie, Egbert Rijke, Luis Scoccola, Localization in Homotopy Type Theory, Higher Structures, 4(1) (2020), 1-32 (arXiv:1807.04155)

On delooping, H-spaces and Eilenberg-MacLane spaces in homotopy type theory:

• Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke, Central H-spaces and banded types [arXiv:2301.02636]

On epimorphisms and acyclic types in univalent type theory:

• Ulrik Buchholtz, Tom de Jong, Egbert Rijke, Epimorphisms and Acyclic Types in Univalent Mathematics, (arXiv:2401.14106)

On autoformalization with HoTT targets (Agda):

• Daniel Carranza, Chunyi Liu, Emily Riehl, Egbert Rijke: Autoformalizing the calculation of $\pi_3(S^2)$ [arXiv:2608.23721]

Related entries

• homotopy type theory

• modal type theory

category: people