Full Functor

For categories \(C\) and \(D\), a functor \(F: C \to D\) is said to be full if, for every \(x, y \in C\), the map \(C(x, y) \to D(Fx, Fy)\) is surjective.

Fully Faithful Functors

A full functor which is also a faithful functor is said to be a fully faithful functor.