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