Full, faithful functors
Definition
Definition. A functor $F:C\to D$ is called full if for every pair of objects $c,c'\in C$ the induced map $$C[c,c']\to D[F(c),F(c')]$$ is surjective. The functor is called faithful if the induced map above is injective.