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

Cartesian closurecategory of categoriesfunctionNew Foundationssmall categoriestopos

Mathematics Subject Classification ID

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

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
• Foundations as truths which organize mathematics
• Feferman's forays into the foundations of category theory
• ALGEBRAIC NEW FOUNDATIONS
• 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)