We present a program which associates, to a smooth projective surface S and to a natural number r, an algebra that is roughly of the size of W(gl_r) tensor the K-theory of S. The goal is to make this algebra act on the K-theory of the moduli space of certain rank r sheaves on S, and to use this point of view to provide a mathematical incarnation of the AGT correspondence between gauge theory and conformal field theory.