An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 428 页 · Appendix A.5
A category \(\mathcal A\) is called cocomplete if \(\operatorname{colim}_I F\) exists for every functor \(F:I\to\mathcal A\) with \(I\) small.