I am currently reading category theory from the book The Joy of Cats. In exercise 3H(d) (page 45) we are required to show that an equivalence is an embedding if and only if it reflects identities. However, I have shown that a full and faithful functor is an embedding iff it reflects identities. Is it true?