On the category of finitely presented mod p representations of GL_2(F), F/Q_p finite - Jack Shotton (2017)