activity
20132024
most citedModalities in homotopy type theory

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

collaborators
Showing 2020Show all

2 papers · 1 filter

math.CT2020★ 2 cited

Characterizations of modalities and lex modalities

J. Daniel Christensen, Egbert Rijke

A reflective subuniverse in homotopy type theory is an internal version of the notion of a localization in topology or in the theory of -categories. Working in homotopy typ…

math.CT2020★ 8 cited

Modal Descent

Felix Cherubini, Egbert Rijke

Any modality in homotopy type theory gives rise to an orthogonal factorization system of which the left class is stable under pullbacks. We show that there is a second orthogonal f…