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