# nLab functional morphism in a dagger 2-poset

### Context

#### Higher category theory

higher category theory

## Idea

A morphism similar to how functional relations are defined in Rel

## Definition

A morphism $f \in hom_A(a,b)$ of a dagger 2-poset $A$ is a functional morphism or a partial map if $f \circ f^\dagger \leq 1_b$.