Contents

Definition

A map-evaluational dagger 2-poset $C$ is a concrete dagger 2-poset? with a function $(-)((-)): Map(A,B) \times El(A) \to El(B)$ for 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
• concrete dagger 2-poset?
• map-extensional dagger 2-poset
• Rel
• SEAR
• Categorical SEAR