Proof. The result follows from the fact that is an accessible localization of , and itself is an accessible localization of the finitely presentable -category of small spectral categories via theorem 1.10. ∎
Original source: arXiv:1001.2282v4
Original source: arXiv:1001.2282v4