The semi-infinite intersection cohomology sheaf

We introduce the semi-infinite category of sheaves on the affine Grassmannian, and construct a particular object in it, which we call the semi-infinite intersection cohomology sheaf. We relate it to several other entities naturally appearing in the geometric Langlands theory.