FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE
From MaRDI portal
Publication:4918375
DOI10.1017/S1755020312000111zbMath1275.18005MaRDI QIDQ4918375
Publication date: 24 April 2013
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
category theory; set theory; equivalence relation; relative consistency; unrestricted Cartesian product
18A15: Foundations, relations to logic and deductive systems
Related Items
Feferman’s Forays into the Foundations of Category Theory, THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE, Set-theoretic foundations, On Bourbaki's axiomatic system for set theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Operational set theory and small large cardinals
- Categorical set theory: A characterization of the category of sets
- Axiomatizing a category of categories
- Does Category Theory Provide a Framework for Mathematical Structuralism?†
- Category Theory as an Autonomous Foundation
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Proceedings of the Conference on Categorical Algebra
- On the problem of foundations of category theory