Shotton, Jack, "The category of finitely presented smooth mod p representations of GL_2(F)", Documenta Mathematica, 2025