A categorical p-adic Langlands correspondence for GL_2(Q_p)

Let p at least 5 be prime. We construct a fully faithful functor from the derived category of all smooth p-adic representations of GL_2(Q_p) (with a fixed central character) to a derived category of Ind-coherent sheaves on a stack of (phi,Gamma)-modules.