A Functor F : 𝒞 → 𝒟 : 𝐹 → 𝒞 𝒟 F:\mathcal{C}\to\mathcal{D} is full if the action on morphisms is Surjective.