Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 212 页 · Chapter IX, Section 1
A filtered colimit is, by definition, a colimit of a functor \(F:J\to\mathcal C\) defined on a filtered category \(J\).