Definition:Subobject

Definition
Let $\mathbf C$ be a metacategory.

Let $C$ be an object of $\mathbf C$.

A subobject of $C$ is a monomorphism $m: B \rightarrowtail C$ with codomain $C$.

Also see

 * Category of Subobjects
 * Subobject Class