Remark 7.6.2.17. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $f: X \rightarrow Y$ be a morphism of $\operatorname{\mathcal{C}}$, and let $\sigma $ denote the composite map
\[ \Delta ^1 \times \Delta ^1 \xrightarrow { (i,j) \mapsto ij } \Delta ^1 \xrightarrow {u} \operatorname{\mathcal{C}}, \]
which we depict as a diagram
\[ \xymatrix@R =50pt@C=50pt{ X \ar [r]^-{\operatorname{id}} \ar [d]^{\operatorname{id}} & X \ar [d]^{f} \\ X \ar [r]^-{f} & Y. } \]
Then $f$ is a monomorphism if and only if $\sigma $ is a pullback square in $\operatorname{\mathcal{C}}$. By virtue of Proposition 7.6.2.16, this follows from Remarks 4.7.5.16 and 7.6.1.11.