0NQF
Proposition 9.44. The -module represented by any finite wedge is a
compact generator of and the -module
represented by the countably infinite wedge is a compact
generator of . In particular, we have
equivalences and
.
0NQG
Proof. The statement about compact generators essentially follows by
construction. Then the -categorical version of Schwede-Shipley’s
Morita theorem [69], [53, §7.1.2], allows us to
characterize these categories in terms of endomorphisms of the compact
generator.
∎