I though I had managed to prove that the right adjoint was trying to go between sets of different cardnalities, but I had misremembered my algebra.