Corollary 7.6.2.19. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be a commutative square, which we represent by a diagram
\[ \xymatrix@R =50pt@C=50pt{ X \ar [r]^-{f_0} \ar [d]^-{f_1} & X_0 \ar [d] \\ X_1 \ar [r] & \mathbf{1}. } \]
Suppose that ${\bf 1}$ is a final object of $\operatorname{\mathcal{C}}$. Then $\sigma $ is a pullback square if and only if the morphisms $f_0$ and $f_1$ exhibit $X$ as a product of $X_0$ with $X_1$ in the $\infty $-category $\operatorname{\mathcal{C}}$.