PlanetPhysics/Fully Faithful Functor 2
(Redirected from PlanetPhysics/FullyFaithfulFunctor2)
\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.