Sets and descent

DOI10.1007/978-3-319-31644-4_8MaRDI QIDQ3295820zbMATH OpenOpenAlexFDO

Authors Brice Halimi

Publication date 13 July 2020

Published in Boston Studies in the Philosophy and History of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-31644-4_8

zbMATH Keywords

algebraic set theorydescent theoryfibered categories

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Fibered categories (18D30)

Recommendations

• A Unified Approach to Algebraic Set Theory
• scientific article; zbMATH DE number 813127
• Descent and duality
• scientific article; zbMATH DE number 2068090
• Facets of descent. I

Cites work

• Categorical logic and type theory
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 813127 (Why is no real title available?)
• scientific article; zbMATH DE number 3363718 (Why is no real title available?)
• Relating first-order set theories, toposes and categories of classes
• Rethinking set theory
• Sheaves in geometry and logic: a first introduction to topos theory

This page was built for publication: Sets and descent

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