An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 419 页 · A.1.6
An initial object in \(\mathcal C\) is an object \(I\) such that for every \(C\) there is exactly one morphism from \(I\) to \(C\).