Descent theorems, which originated in Grothendieck's work on commutative algebra in algebraic geometry, and which were subsequently generalized to Grothendieck toposes by Joyal and Tierney, hinge upon being able to characterize the class of effective descent morphisms in the category in question. In this lengthy and technically detailed paper the author makes extensive use of the work of \textit{M. Makkai} [Stone duality for first order logic, Adv. Math. 65, 97-170 (1987; Zbl 0649.03050)] in order to describe the effective descent morphisms in the 2-categories of pretoposes and Barr- exact categories. In both cases they turn out to be the so-called conservative morphisms. The author also shows that in these categories the 2-coregular factorizations coincide with the quotient-conservative factorizations.
- A General Stone-Gelfand Duality
- Accessible Categories: The Foundations of Categorical Model Theory
- An elementary proof of the descent theorem for Grothendieck toposes
- An extension of the Galois theory of Grothendieck
- Categories of continuous functors. I
- Completeness results for intuitionistic and modal logic in a categorical setting
- Duality and definability in first order logic
- scientific article; zbMATH DE number 4165146 (Why is no real title available?)
- scientific article; zbMATH DE number 3931013 (Why is no real title available?)
- scientific article; zbMATH DE number 4065237 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 1992950 (Why is no real title available?)
- scientific article; zbMATH DE number 3450420 (Why is no real title available?)
- scientific article; zbMATH DE number 3353518 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Model theory
- Representation of Distributive Lattices by means of ordered Stone Spaces
- 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
- Some Results on Locally Finitely Presentable Categories
- Stone duality for first order logic
- Strong conceptual completeness for first-order logic
- Descent theory for schemes
- Two-descent, two-torsors and local equivalence
- Proof of a conjecture of A. Pitts
- Semantic factorization and descent
- Generalized Płonka sums and products
- Pitts monads and a lax descent theorem
- An elementary proof of the descent theorem for Grothendieck toposes
- scientific article; zbMATH DE number 6385415 (Why is no real title available?)
- scientific article; zbMATH DE number 3884146 (Why is no real title available?)
- Universal models and definability
- Sets and descent
- Definability and descent
- scientific article; zbMATH DE number 810190 (Why is no real title available?)
- A sheaf representation and duality for finitely presented Heyting algebras
- Descent Data and Absolute Kan Extensions
- Adjointness in descent theory
- Galois theory in variable categories
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)
