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

• 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

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)

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)