Egbert Rijke

Available identifiers

zbMath Open rijke.egbertMaRDI QIDQ2229966

List of research outcomes

Publication	Date of Publication	Type
The long exact sequence of homotopy n-groups	2024-03-05	Paper
Delooping the sign homomorphism in univalent mathematics	2023-01-24	Paper
Central H-spaces and banded types	2023-01-06	Paper
Introduction to Homotopy Type Theory	2022-12-21	Paper
Modal descent	2022-01-20	Paper
Algebraic Presentations of Dependent Type Theories	2021-11-18	Paper
Characterizations of modalities and lex modalities	2021-09-17	Paper
Sequential colimits in homotopy type theory	2021-01-21	Paper
Higher groups in homotopy type theory	2021-01-20	Paper
The real projective spaces in homotopy type theory	2021-01-19	Paper
Localization in Homotopy Type Theory	2020-02-24	Paper
Modalities in homotopy type theory	2020-01-22	Paper
Classifying Types	2019-06-22	Paper
The Cayley-Dickson construction in homotopy type theory	2019-03-19	Paper
Homotopy type theory and the formalization of mathematics	2017-05-18	Paper
The join construction	2017-01-25	Paper
The Cayley-Dickson Construction in Homotopy Type Theory	2016-10-04	Paper
Sets in homotopy type theory	2016-07-27	Paper

Research outcomes over time

This page was built for person: Egbert Rijke