Corollary 6.144.
Let \(C\) be a presentable category. Then \(C\) is compactly assembled if and only if it is a retract in \(\PrL\) of a compactly generated category.
Higher Topos Theory Section 6.10: Compactly assembled categories and exponentiability
Corollary 6.144.
Let \(C\) be a presentable category. Then \(C\) is compactly assembled if and only if it is a retract in \(\PrL\) of a compactly generated category.