Descent and duality

DOI10.1016/0168-0072(94)00018-XzbMath0815.18003MaRDI QIDQ1345009

Marek W. Zawadowski

Publication date: 28 February 1995

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

zbMATH Keywords

dualityGrothendieck toposesfactorizationsBarr-exact categories2-categories of pretoposesdescent morphisms

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Abelian categories, Grothendieck categories (18E10) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Foundations, relations to logic and deductive systems (18A15)

Related Items

Universal models and definability, A sheaf representation and duality for finitely presented Heyting algebras, Adjointness in descent theory, Galois theory in variable categories, Generalized Płonka sums and products, Pitts monads and a lax descent theorem, Definability and descent, Semantic factorization and descent

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stone duality for first order logic
• Strong conceptual completeness for first-order logic
• Completeness results for intuitionistic and modal logic in a categorical setting
• Model theory
• An elementary proof of the descent theorem for Grothendieck toposes
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Categories of continuous functors. I
• Duality and definability in first order logic
• An extension of the Galois theory of Grothendieck
• Accessible Categories: The Foundations of Categorical Model Theory
• A General Stone-Gelfand Duality
• Some Results on Locally Finitely Presentable Categories
• Representation of Distributive Lattices by means of ordered Stone Spaces