[[!redirects elementarily topical dagger 2-poset]] [[!redirects elementarily topical dagger 2-posets]] < [[nlab:elementarily topical dagger 2-poset]] category:redirected to nlab