The following pages link to Egbert Rijke (Q2229966):
Displaying 11 items.
- Characterizations of modalities and lex modalities (Q2229967) (← links)
- (Q2988057) (← links)
- (Q3121020) (← links)
- Modal descent (Q5022924) (← links)
- The real projective spaces in homotopy type theory (Q5144693) (← links)
- Higher Groups in Homotopy Type Theory (Q5145293) (← links)
- Sequential Colimits in Homotopy Type Theory (Q5145685) (← links)
- Modalities in homotopy type theory (Q5208873) (← links)
- Localization in Homotopy Type Theory (Q5217587) (← links)
- Sets in homotopy type theory (Q5740655) (← links)
- The long exact sequence of homotopy <i>n</i>-groups (Q6149949) (← links)
