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