In a category $\mathrm{𝒞︀}$, a subobject of $𝑐$ is an isomorphism class of monomorphisms into $𝑐$.