[[!redirects Boolean W-topical dagger 2-posets]] ## Contents ## * table of contents {:toc} ## Idea ## A Boolean W-topical dagger 2-poset is a dagger 2-poset whose [[category of maps]] is a [[Boolean W-topos]]. ## Definition ## A **Boolean W-topical dagger 2-poset** $C$ is a [[Boolean topical dagger 2-poset|Boolean topical]] [[W-topical dagger 2-poset|W-topical]] [[dagger 2-poset]]. ## Examples ## The dagger 2-poset of [[decidable set]]s and relations is a W-topical topical dagger 2-poset. ## See also ## * [[dagger 2-poset]] * [[Boolean topical dagger 2-poset]] * [[W-topical dagger 2-poset]]