0NLD
Corollary 4.27. Let and be idempotent-complete small stable
-categories and let and
be spectral categories lifting and .
Then is equivalent to the
-category of right-compact
-modules.
0NLE
Proof. This follows from theorem 4.23 and
corollary 3.3.
∎