and subspaces from topology. Since the detailed structure of objects is immaterial in category theory, the definition of subobject relies on a morphism that describes how one object sits inside another, rather than relying on the use of elements.

The dual concept to a subobject is a '. This generalizes concepts such as quotient sets,