Sets and Descent

DOI10.1007/978-3-319-31644-4_8zbMath1436.03267OpenAlexW2494961137MaRDI QIDQ3295820

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

descent theoryalgebraic set theoryfibered categories

Mathematics Subject Classification ID

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

Cites Work

• Relating first-order set theories, toposes and categories of classes
• Sheaves in geometry and logic: a first introduction to topos theory
• Categorical logic and type theory
• Rethinking Set Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sets and Descent