A Displayed Category 𝒟 ⇾ 𝒞 × 𝒞 ⇾ 𝒟 𝒞 𝒞 \mathcal{D}\rightarrowtriangle\mathcal{C}\times\mathcal{C} is a double category if