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