Foundations of unlimited category theory: what remains to be done
From MaRDI portal
Publication:4918375
DOI10.1017/S1755020312000111zbMATH Open1275.18005MaRDI QIDQ4918375FDOQ4918375
Authors: Solomon Feferman 
Publication date: 24 April 2013
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Recommendations
Cites Work
- Title not available (Why is that?)
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Categorical set theory: A characterization of the category of sets
- Operational set theory and small large cardinals
- Title not available (Why is that?)
- Axiomatizing a category of categories
- Does Category Theory Provide a Framework for Mathematical Structuralism?†
- Proceedings of the Conference on Categorical Algebra
- Title not available (Why is that?)
- Category theory as an autonomous foundation
- On the problem of foundations of category theory
Cited In (18)
- Category theory based on combinatory logic
- The MacLane problem on set-theoretical foundations for the category theory
- A logic for category theory
- Enriched stratified systems for the foundations of category theory
- Category theory is a contentful theory
- Feferman's forays into the foundations of category theory
- Approximating Cartesian closed categories in NF-style set theories
- Failure of Cartesian closedness in NF
- Foundations and Applications: Axiomatization and Education
- Title not available (Why is that?)
- An unsuspended description of the \(E\)-theory category
- ALGEBRAIC NEW FOUNDATIONS
- Category theory as an autonomous foundation
- Fibered categories and the foundations of naive category theory
- Title not available (Why is that?)
- On Bourbaki's axiomatic system for set theory
- THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
- Set-theoretic foundations
This page was built for publication: Foundations of unlimited category theory: what remains to be done
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4918375)
