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