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