[[!redirects elementarily topical dagger 2-posets]] ## Contents ## * table of contents {:toc} ## Idea ## An elementarily topical dagger 2-poset is a dagger 2-poset whose [[category of maps]] is an [[elementary topos]]. ## Definition ## An **elementarily topical dagger 2-poset** $C$ is a [[unital dagger 2-poset|unital]] [[tabular dagger 2-poset|tabular]] [[power dagger 2-poset|power]] [[dagger 2-poset]]. ## Examples ## The dagger 2-poset of sets and relations is an elementarily topical dagger 2-poset. ## See also ## * [[dagger 2-poset]] * [[unital dagger 2-poset]] * [[tabular dagger 2-poset]] * [[power dagger 2-poset]] * [[Boolean topical dagger 2-poset]] * [[W-topical dagger 2-poset]] * [[ETCR]]