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