[[!redirects concrete dagger 2-posets]] #Contents# * table of contents {:toc} ## Definition ## A concrete dagger 2-poset $C$ is a [[dagger 2-poset]] with a [[set]] $El(A)$ for every object $A:Ob(C)$. ## See also ## * [[concrete category]] * [[concrete precategory]] * [[map-evaluational dagger 2-poset]] * [[relational dagger 2-poset]] * [[Rel]] * [[SEAR]] * [[Categorical SEAR]]