[[!redirects reduction]] < [[nlab:reduction modality]] category: redirected to nlab