[[!redirects infinitesimal shape]] < [[nlab:infinitesimal shape modality]] category: redirected to nlab