Proof of a conjecture of A. Pitts

DOI10.1016/S0022-4049(98)00118-2zbMath0944.18004OpenAlexW2031009410WikidataQ122951570 ScholiaQ122951570MaRDI QIDQ1818641

J. J. C. Vermeulen, Ieke Moerdijk

Publication date: 17 September 2000

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(98)00118-2

zbMATH Keywords

topoilax descentcoherent theorieslax pullbacks

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (4)

Model-theoretic imaginaries and coherent sheaves ⋮ Lax proper maps of locales ⋮ Pitts monads and a lax descent theorem ⋮ Proper base change for étale sheaves of spaces

This page was built for publication: Proof of a conjecture of A. Pitts