W-algebras from Heisenberg categories

The trace (or zeroth Hochschild homology) of Khovanovs Heisenberg category is identified with a quotient of the algebra W_{1+infty}. This induces an action of W_{1+infty} on symmetric functions.