Galois descent

Recovers object over k from L-object + Gal(L/k)-action (twisted form). Forms of quadratic forms, Brauer groups, Galois cohomology H¹.