Definition:Full Subcategory

Definition
Let $\mathbf D$ be a metacategory, and let $\mathbf C$ be a subcategory of $\mathbf D$.

Then $\mathbf C$ is called a full subcategory the inclusion functor $i: \mathbf C \to \mathbf D$ is full.

Also see

 * Definition:Full Functor