Definition 1.5.12. A functor \(F\colon C \to D\) is called fully faithful if for every pair of objects \(x\) and \(y\) of \(C\), the induced map of animae \[ F\colon \Hom _C(x,y) \to \Hom _D(Fx,Fy) \] is an equivalence.
Generated from the authoritative LaTeX source.