Lemma 3.9. Assuming that:

• $(F:C\to D⊣G:D\to C)$ an adjunction with counit $𝜀$

• (i) $G$ is faithful if and only if $𝜀$ is pointwise epic
• (ii) $G$ is full and faithful if and only if $𝜀$ is an isomorphism