Monofunctor
= 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$.
= 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$.