[[!redirects weak equivalence of precategories]] [[!redirects weak equivalence]] < [[nlab:weak equivalence]] category:redirected to nlab