De variedades a invariantes de E_n-álgebras