FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE

DOI10.1017/S1755020312000111zbMath1275.18005MaRDI QIDQ4918375

Solomon Feferman

Publication date: 24 April 2013

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

category theoryset theoryequivalence relationrelative consistencyunrestricted Cartesian product

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15)

Related Items

Set-theoretic foundations, On Bourbaki's axiomatic system for set theory, Feferman’s Forays into the Foundations of Category Theory, THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE

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