A source in a Category 𝒞 𝒞 \mathcal{C} is a family of morphisms f i : X → Y i : subscript 𝑓 𝑖 → 𝑋 subscript 𝑌 𝑖 f_{i}:{{X}\to{Y_{i}}} .