Example 1.5.2.4 (Non-Commuting Squares). Let $K$ denote the boundary of the product $\Delta ^1 \times \Delta ^1$: that is, the simplicial subset of $\Delta ^1 \times \Delta ^1$ given by the union of the simplicial subsets $\operatorname{\partial \Delta }^1 \times \Delta ^1$ and $\Delta ^1 \times \operatorname{\partial \Delta }^1$. Then $K_{\bullet }$ is a $1$-dimensional simplicial set, corresponding to a directed graph which we can depict as
We can then display a $K$-indexed diagram in an $\infty $-category $\operatorname{\mathcal{C}}$ pictorially
where each $C_{ij}$ is an object of $\operatorname{\mathcal{C}}$, $f$ is a morphism in $\operatorname{\mathcal{C}}$ from $C_{00}$ to $C_{01}$, $g$ is a morphism in $\operatorname{\mathcal{C}}$ from $C_{00}$ to $C_{10}$, $f'$ is a morphism in $\operatorname{\mathcal{C}}$ from $C_{10}$ to $C_{11}$, and $g'$ is a morphism in $\operatorname{\mathcal{C}}$ from $C_{01}$ to $C_{11}$.