# PlanetPhysics/Fully Faithful Functor 2

\newcommand{\sqdiagram}[9]{**Failed to parse (unknown function "\diagram"): {\displaystyle \diagram #1 \rto^{#2} \dto_{#4}& \eqno{\mbox{#9}}}**
}

Let and be two categories and

let be a functor. is said to be a
*fully faithful functor* if it is an isomorphism on
every set of morphisms, and that it is *essentially surjective* if for every object , there is some such that and are isomorphic.