[[!redirects map-evaluational dagger 2-poset]] [[!redirects map-evaluational dagger 2-posets]] < [[nlab:concrete category]] category:redirected to nlab