Descent and duality
DOI10.1016/0168-0072(94)00018-XzbMATH Open0815.18003MaRDI QIDQ1345009FDOQ1345009
Authors: Marek Zawadowski
Publication date: 28 February 1995
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Recommendations
dualityfactorizationsGrothendieck toposesBarr-exact categories2-categories of pretoposesdescent morphisms
Categorical logic, topoi (03G30) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Topoi (18B25) Abelian categories, Grothendieck categories (18E10) Foundations, relations to logic and deductive systems (18A15)
Cites Work
- 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
- Title not available (Why is that?)
- Model theory
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Categories of continuous functors. I
- An extension of the Galois theory of Grothendieck
- Accessible Categories: The Foundations of Categorical Model Theory
- Title not available (Why is that?)
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Strong conceptual completeness for first-order logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completeness results for intuitionistic and modal logic in a categorical setting
- A General Stone-Gelfand Duality
- Some Results on Locally Finitely Presentable Categories
- An elementary proof of the descent theorem for Grothendieck toposes
- Duality and definability in first order logic
- Title not available (Why is that?)
- Stone duality for first order logic
- Title not available (Why is that?)
Cited In (17)
- Title not available (Why is that?)
- Galois theory in variable categories
- Semantic factorization and descent
- Generalized Płonka sums and products
- Definability and descent
- A sheaf representation and duality for finitely presented Heyting algebras
- Descent theory for schemes
- An elementary proof of the descent theorem for Grothendieck toposes
- Title not available (Why is that?)
- Universal models and definability
- Proof of a conjecture of A. Pitts
- Pitts monads and a lax descent theorem
- Descent Data and Absolute Kan Extensions
- Two-descent, two-torsors and local equivalence
- Title not available (Why is that?)
- Sets and descent
- Adjointness in descent theory
This page was built for publication: Descent and duality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1345009)