Subobjects, quotient objects
Definition
Let $A$ be the object of some category.
Definition. A subobject of $A$ is an equivalence class of monomorphisms with codomain $A$. Dually, a quotient object is an equivalence class of epimorphisms with domain $A$.