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