Fully Faithful Functor

A Functor $F:\mathcal{C}\to\mathcal{D}$ is fully faithful if it is both Faithful and Full. Alternatively, $F$ is fully faithful if the action on morphisms is an Equivalence.