## Definition ## A morphism $f:hom_A(a,b)$ of a [[dagger 2-poset]] $A$ is a **map** if it is a [[functional dagger morphism in a dagger 2-poset|functional]] and [[entire dagger morphism in a dagger 2-poset|entire]] dagger morphism. ## See also ## * [[functional dagger morphism in a dagger 2-poset]] * [[entire dagger morphism in a dagger 2-poset]] * [[category of maps]] category: category theory