ScalingStacks

0NM5

Proof. Recall that a right adjoint preserves κ\kappa-filtered colimits if and only if its left adjoint preserves κ\kappa-compact objects [52, 5.5.1.4]. Since functors which preserve filtered colimits also preserve κ\kappa-filtered colimits and Ind⁡(−)\Ind(-) takes exact functors to functors which preserve compact objects, the result follows. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Andrew J. Blumberg, David Gepner, Goncalo Tabuada

Original source: arXiv:1001.2282v4