Codomain vs Subobject - What's the difference?
codomain | subobject |
(mathematics) The target space into which a function maps elements of its domain. It always contains the range of the function, but can be larger than the range if the function is not surjective.
(category theory) Given an object B'', a ''subobject'' of it is an equivalence class of objects which relate to ''B'' through monomorphisms . (If a pair of monomorphisms with codomain ''B'' , which is a monomorphism) of another set.