[[!redirects coherent dagger 2-poset]] [[!redirects coherent dagger 2-posets]] < [[nlab:coherent dagger 2-poset]]