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