[[!redirects upper type]] [[!redirects (0,1)-copresheaf]] [[!redirects upper set]] < [[nlab:upper set]] category: redirected to nlab