I can see why
If $F$ is faithful, then it reflects monomorphisms.
My question is does the inverse holds? More generally, I would like to ask:
What are the alternative ways of defining the faithfulness of functors (Apart from "..one which its restriction to home sets is bijective)
Thank you very much.