[[!redirects extensional dagger 2-poset]] [[!redirects extensional dagger 2-posets]] < [[nlab:concrete category]]