Exercise 6.5.5. Let \(C\) be a stable \(\infty \)-category with a t-structure. Setting \(D := C\catop \) and \(E := \Sp \catop \), the hom spectrum functor in \(C\) takes the form \(\hom _C\colon C \times C\catop \to \Sp \catop \).

(1)

Show that this functor satisfies the conditions of Definition 6.5.1: For \(X \in C_{\geq 0}\) and \(Y \in C_{\leq 0}\) we have \(\hom _C(X,Y) \in \Sp _{\leq 0}\).

(2)

Show that an object \(P \in C\) is t-flat with respect to \(\hom _C\) if and only if it is t-projective.

Generated from the authoritative LaTeX source.