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