Definition:Fully Faithful Functor
Jump to navigation
Jump to search
Definition
Let $C$ and $D$ be categories.
Let $F : C \to D$ be a covariant functor.
The functor $F$ is fully faithful if and only if it is full and faithful.