Towards a categorification of the boson-fermion correspondence

In this talk I will propose a realization of certain vertex operators acting on the Fock space
in terms of functors acting on the category of tensor sl(infinity) - modules. This realization
gives a non-computational categorical proof for certain identities of vertex operators.
Joint work with Igor Frenkel and Ivan Penkov.