A Functor F : 𝒞 → 𝒟 : 𝐹 → 𝒞 𝒟 F:\mathcal{C}\to\mathcal{D} is faithful if it is Injective on morphisms.