In an Abelian category $\mathcal{A}$, let {$A_i$} be a family of subobjects of an object $A$. How to show that if $\mathcal{A}$ is cocomplete(i.e. the coproduct always exists in $\mathcal{A}$), then there is a smallest subobject $\sum{A_i}$ of $A$ containing all of $A_i$?
Surely this $\sum{A_i}$ cannot be the coproduct of {$A_i$}, but I have no clue what it should be.