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