Let C={0<1} and let D be the terminal category. The unique functor F:C→D is left adjoint to the functor selecting 1. Every arrow in a poset is monic, so the unit and counit are pointwise monic, but F is not full because the unique arrow F1→F0 has no preimage 1→0. The category C is not balanced.