[[!redirects injective dagger morphism in a dagger 2-poset]] [[!redirects one-to-one dagger morphism in a dagger 2-poset]] < [[nlab:injective morphism in a dagger 2-poset]] category:redirected to nlab