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