 Monofunctor

A functor $F:\mathcal{C}\to \mathbf{Set}$ is a monofunctor when $F(f)$ is an injective function for every morphism $f$ of $\mathcal{C}$.