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