0NL6
Theorem 4.22. The functor
|
|
|
admits a fully faithful and accessible right adjoint
|
|
|
That is, the -category of stable -categories is an accessible
localization of the -category of spectral categories obtained by
inverting the triangulated equivalences.
0NL7
Proof. The follows from the factorization of given in
equation 4.12 and proposition 4.20.
∎