Remark 4.5.3.10. The collection of categorical pullback diagrams is closed under the formation of cartesian products (in the category of diagrams $\operatorname{Fun}( [1] \times [1], \operatorname{Set_{\Delta }})$).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$