[[!redirects Modalities in homotopy type theory]] < [[nlab:Modalities in homotopy type theory]] category: redirected to nlab