E. Rijke

activity

20132024

most citedModalities in homotopy type theory

34 citations · 95 across the 15 of their papers we have counts for

collaborators

Showing 2019Show all

2 papers · 1 filter

math.AT2019

The long exact sequence of homotopy $n$ -groups

Ulrik Buchholtz, Egbert Rijke

Working in homotopy type theory, we introduce the notion of $n$ -exactness for a short sequence $F \to E \to B$ of pointed types, and show that any fiber sequence $F\hookrightarrow E…

math.LO2019★ 4 cited

Classifying Types

Egbert Rijke

The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the…

The long exact sequence of homotopy n-groups

Classifying Types

The long exact sequence of homotopy $n$ -groups