Definition 1.5.3. A functor \(F\colon C \to D\) is called a monomorphism if the commutative square
is a pullback square, i.e. the functor \(\Delta _F := (\id _C,\id _C)\colon C \to C \times _D C\) is an equivalence of \(\infty \)-categories.
Generated from the authoritative LaTeX source.