[[!redirects conjunctive dagger 2-poset]] [[!redirects conjunctive dagger 2-posets]] < [[nlab:HomePage|conjunctive dagger 2-poset]] category:redirected to nlab