[[!redirects isomorphism in a precategory]] < [[nlab:isomorphism]] category:redirected to nlab