[[!redirects equivalence of precategories]] < [[nlab:equivalence of categories]]