Definition 6.4.16. Let \(D\) be an \(\infty \)-category with geometric realizations. An object \(P \in D\) is called projective if the functor \(\Hom _D(P,-)\colon D \to \An \) preserves geometric realizations.
Generated from the authoritative LaTeX source.