An endofunctor is a Functor F : 𝒞 → 𝒞 : 𝐹 → 𝒞 𝒞 F:\mathcal{C}\to\mathcal{C} from a category to itself.