Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets

DOI10.1016/j.apal.2012.01.011zbMath1257.03095arXiv1201.6272OpenAlexW2120588128MaRDI QIDQ448334

Erik Palmgren

Publication date: 6 September 2012

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

Full work available at URL: https://arxiv.org/abs/1201.6272

zbMATH Keywords

constructive type theorycategorical logicBishop's informal set theorycategories of setsLawvere's elementary theory of the category of setsstructuralist foundation for constructive mathematics

Mathematics Subject Classification ID

Related Items (10)

Proof-relevance in Bishop-style constructive mathematics ⋮ Direct spectra of Bishop spaces and their limits ⋮ On the local Cartesian closure of exact completions ⋮ Towards ``mouldable code via nested code graph transformation ⋮ Univalent foundations as structuralist foundations ⋮ Comparing material and structural set theories ⋮ EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS ⋮ Categories with families and first-order logic with dependent sorts ⋮ Algebras of complemented subsets ⋮ Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics

Cites Work

• Inductive types and exact completion
• Aspects of predicative algebraic set theory. I: Exact completion
• Wellfounded trees in categories
• Categorical set theory: A characterization of the category of sets
• Avoiding the axiom of choice in general category theory
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• Constructive set theory
• Exploring Categorical Structuralism
• Type theories, toposes and constructive set theory: Predicative aspects of AST
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets