[[!redirects category of maps]] < [[nlab:category of maps]] category:redirected to nlab