[[!redirects isomorphism in a precategory]] < [[nlab:isomorphism]]