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