Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 67 页 · Chapter III, Section 4
A universal arrow from a diagram \(F:J\to\mathcal C\) to the diagonal functor is called a colimit of \(F\); it consists of an object together with a universal cocone from \(F\).