[[!redirects monic map in a dagger 2-poset]] [[!redirects injective map in a dagger 2-poset]] < [[nlab:monic map in a dagger 2-poset]]