Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 126 页 · Chapter V, Section 7
The subobjects of \(a\) are the equivalence classes of monomorphisms with codomain \(a\), where two monomorphisms are equivalent when each factors through the other.