Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 55—56 页 · Chapter III, Section 1
A universal arrow from \(x\) to \(S:D\to C\) is an initial object in the comma category \((x\downarrow S)\).