Abstract

In this paper we prove a conjecture of Andrew Pitts
which states that the BeckChevalley condition holds for lax pullbacks
or comma squares of coherent toposes
see Theorem
below
Pitts conjecture was put forward as a way towards the lax descent theorem for coherent toposes
Theorem below The
... read more