Lemma 5.23. The full subcategory of compact small stable idempotent-complete -categories is essentially small.
Original source: arXiv:1001.2282v4
Lemma 5.23. The full subcategory of compact small stable idempotent-complete -categories is essentially small.
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