Contents

Idea

An map-evaluational dagger 2-poset where maps satisfy the axiom of extensionality.

Definition

An map-extensional dagger 2-poset $C$ is a map-evaluational dagger 2-poset such that for maps $f:Map(A,B)$ and $g:Map(A,B)$, if $f(x) = g(x)$ for all elements $x:El(A)$, then $f = g$.

See also

• concrete category
• concrete precategory
• dagger 2-poset with elements
• map-evaluational dagger 2-poset
• Rel
• SEAR
• Categorical SEAR