Corollary 16.5.13. The conclusion of Proposition 16.5.12 applies when \(C=\An \) or \(C=\An _*\).
Proof. Both categories admit the required limits and colimits. Moreover, filtered colimits of animae commute with finite limits, so their loop functors preserve sequential colimits. □
Generated from the authoritative LaTeX source.