Injectives in residuated algebras