nLab Egbert Rijke

Selected writings

Discussion of \infty -groups in homotopy type theory:

On homotopy type theory (synthetic homotopy theory):

On modal homotopy type theory:

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

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

category: people

Last revised on February 14, 2023 at 14:09:24. See the history of this page for a list of all contributions to it.