A fully faithful functor 
is a functor for which
the induced function
 |
is a bijection for every pair of objects 
of 
. Equivalently, 
is a faithful functor
because each such function is an injection,
and full because each is a surjection. Thus a fully
faithful functor preserves all morphisms between objects and introduces no additional morphisms
between their images.
