Descent and duality

DOI10.1016/0168-0072(94)00018-XMaRDI QIDQ1345009zbMATH OpenFDO

Authors Marek Zawadowski

Publication date 28 February 1995

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

zbMATH Keywords

dualityfactorizationsGrothendieck toposesBarr-exact categories2-categories of pretoposesdescent morphisms

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 2068090
• Descent in *-autonomous categories
• scientific article; zbMATH DE number 426319
• Effective descent morphisms in some quasivarieties of algebraic, relational, and more general structures
• Facets of descent. II

Cites work

• 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?)
• 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
• 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

Cited in

(17)

• Proof of a conjecture of A. Pitts
• A sheaf representation and duality for finitely presented Heyting algebras
• Sets and descent
• Descent theory for schemes
• Generalized Płonka sums and products
• Universal models and definability
• Definability and descent
• Adjointness in descent theory
• An elementary proof of the descent theorem for Grothendieck toposes
• scientific article; zbMATH DE number 6385415 (Why is no real title available?)
• Descent Data and Absolute Kan Extensions
• Galois theory in variable categories
• Two-descent, two-torsors and local equivalence
• scientific article; zbMATH DE number 3884146 (Why is no real title available?)
• Semantic factorization and descent
• 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: Descent and duality

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