Global Element

Let 𝒞 𝒞 \mathcal{C} be a Category with a Terminal Object 1 : 𝒞 : 1 𝒞 1:\mathcal{C} . A global element of an object X : 𝒞 : 𝑋 𝒞 X:\mathcal{C} is a morphism x : 𝒞 ( 1 , X ) : 𝑥 𝒞 1 𝑋 x:\mathcal{C}(1,X) .