Full Functor

In category theory, a functor $F:\mathcal{C}\to \mathcal{D}$ is called full iff all homset maps are surjections.

See also

Faithful Functor Fully Faithful Functor