Proof of a conjecture of A. Pitts

DOI10.1016/S0022-4049(98)00118-2MaRDI QIDQ1818641zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

topoilax descentcoherent theorieslax pullbacks

Mathematics Subject Classification ID

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

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

Cited in

(7)

• Duality and definability in first order logic
• Proper base change for étale sheaves of spaces
• Lax proper maps of locales
• Model-theoretic imaginaries and coherent sheaves
• A proof of the Pfister factor conjecture
• Pitts monads and a lax descent theorem
• scientific article; zbMATH DE number 810190 (Why is no real title available?)

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)