Proof of a conjecture of A. Pitts

[摘要] 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. (C) 1999 Elsevier Science B.V. All rights reserved. MSG: 18B25; 03G30.

[发布日期] 1999-11-10

[效力级别]  Proceedings Paper