Failure of Cartesian closedness in NF

DOI10.2307/2275291MaRDI QIDQ4032641zbMATH OpenOpenAlexFDO

Authors Colin McLarty

Publication date 1 April 1993

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275291

zbMATH Keywords

toposfunctionsmall categoriesNew FoundationsCartesian closurecategory of categories

Mathematics Subject Classification ID

Categories of sets, characterizations (18B05) Nonclassical and second-order set theories (03E70) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Axiomatics of classical set theory and its fragments (03E30) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Approximating Cartesian closed categories in NF-style set theories
• ALGEBRAIC NEW FOUNDATIONS
• scientific article; zbMATH DE number 3916525
• Foundations of unlimited category theory: what remains to be done
• scientific article; zbMATH DE number 5347929

Cited in

(5)

• Approximating Cartesian closed categories in NF-style set theories
• Feferman's forays into the foundations of category theory
• ALGEBRAIC NEW FOUNDATIONS
• Foundations as truths which organize mathematics
• THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE

This page was built for publication: Failure of Cartesian closedness in NF

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032641)