Proof of a conjecture of A. Pitts

DOI10.1016/S0022-4049(98)00118-2zbMATH Open0944.18004OpenAlexW2031009410WikidataQ122951570 ScholiaQ122951570MaRDI QIDQ1818641FDOQ1818641

Authors: 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

Recommendations

• Definability and descent
• scientific article; zbMATH DE number 810190
• Duality and definability in first order logic
• Effective descent morphisms and colimits
• Descent and duality
• scientific article; zbMATH DE number 19498
• Pitts monads and a lax descent theorem
• The hyperconnected maps that are local
• scientific article; zbMATH DE number 822489
• scientific article; zbMATH DE number 3941764

zbMATH Keywords

topoilax descentcoherent theorieslax pullbacks

Mathematics Subject Classification ID

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

Cited In (7)

• Model-theoretic imaginaries and coherent sheaves
• A proof of the Pfister factor conjecture
• Lax proper maps of locales
• Pitts monads and a lax descent theorem
• Duality and definability in first order logic
• Proper base change for étale sheaves of spaces
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1818641)