In the definition of subobject there is an equivalence relation defined on monomorphisms into a fixed codomain.
My question is that how do we know that the collection of monomorphisms into a fixed codomain is a set?
Is it obvious? or Is it because we can define equivalence relation not only on a set but a class? I don't know.
Please help. Thank you.