\begin{definition}[Definition:Fully Faithful Functor]
Let $C$ and $D$ be categories.
Let $F : C \to D$ be a covariant functor.
The functor $F$ is '''fully faithful''' {{iff}} it is full and faithful.
Category:Definitions/Category Theory
\end{definition}