Publication: Pitts monads and a lax descent theorem