A pointed object in a category 𝒞 𝒞 \mathcal{C} with a Terminal Object is an object X : 𝒞 : 𝑋 𝒞 X:\mathcal{C} along with a designated Global Element x : ( 1 , X ) : 𝑥 1 𝑋 x:{{}(1,X)} .