Corollary 6.3.8. The subcategory \(C_{\leq n}\) of \(C\) is closed under all limits that exist in \(C\). The subcategory \(C_{\geq n}\) of \(C\) is closed under all colimits that exist in \(C\). □

Generated from the authoritative LaTeX source.