[[!redirects map-extensional dagger 2-posets]] #Contents# * table of contents {:toc} ## 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]] * [[concrete dagger 2-poset]] * [[extensional category]] * [[map-evaluational dagger 2-poset]] * [[Rel]] * [[SEAR]] * [[Categorical SEAR]]