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