Proof of a conjecture of A. Pitts Original Research Article

We prove that lax pullback squares of coherent toposes satisfy the Beck-Chevalley condition, thus giving a short proof of the lax descent theorem for such toposes.