The Satake category is the category of perverse sheaves on the affine Grassmannian of a complex reductive group G. The global cohomology functor induces a tensor equivalence between the Satake category and the category of finite-dimensional representations of the split form of the Langlands dual group of G. We give...