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