[[!redirects join-semilattice]] [[!redirects finitely cocomplete (0,1)-precategory]] < [[nlab:join-semilattice]] category: redirected to nlab