[[!redirects dagger 2-poset with elements]] < [[nlab:concrete category]] category:redirected to nlab