[[!redirects evaluational dagger 2-poset]] [[!redirects map-evaluational dagger 2-posets]] #Contents# * table of contents {:toc} ## Definition ## A map-evaluational dagger 2-poset $C$ is a [[dagger 2-poset with elements]] with a function $(-)((-)): Map(A,B) \times El(A) \to El(B)$ for [[map in a dagger 2-poset|map]] evaluation for elements of objects $A:Ob(C)$ and $B:Ob(C)$ such that for maps $f:Map(A,B)$ and $g:Map(B,C)$ and element $x:El(A)$, $(g \circ f)(x) = g(f(x))$. ## See also ## * [[concrete category]] * [[concrete precategory]] * [[dagger 2-poset with elements]] * [[map-extensional dagger 2-poset]] * [[Rel]] * [[SEAR]] * [[Categorical SEAR]]