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