Definition 6.4.1. Let \(C\) be a stable \(\infty \)-category equipped with a t-structure. An object \(P \in C\) is called t-projective if the mapping spectrum functor \(\hom _C(P,-)\colon C \to \Sp \) is t-exact.
Generated from the authoritative LaTeX source.