Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
From MaRDI portal
Publication:448334
DOI10.1016/J.APAL.2012.01.011zbMath1257.03095arXiv1201.6272OpenAlexW2120588128MaRDI QIDQ448334
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
constructive type theorycategorical logicBishop's informal set theorycategories of setsLawvere's elementary theory of the category of setsstructuralist foundation for constructive mathematics
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
