Approximating Cartesian closed categories in NF-style set theories

DOI10.1007/S10992-017-9425-2MaRDI QIDQ1702983zbMATH OpenOpenAlexFDO

Authors Morgan Thomas

Publication date 1 March 2018

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

Full work available at URL https://doi.org/10.1007/s10992-017-9425-2

zbMATH Keywords

foundations of mathematicscategory theoryset theorynew foundations

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• Failure of Cartesian closedness in NF
• Some proposals for the set-theoretic foundations of category theory
• ALGEBRAIC NEW FOUNDATIONS
• The MacLane problem on the set-theoretic foundation for category theory. II.
• Foundations of unlimited category theory: what remains to be done

Cites work

• scientific article; zbMATH DE number 559185 (Why is no real title available?)
• scientific article; zbMATH DE number 1450821 (Why is no real title available?)
• Failure of Cartesian closedness in NF
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic

Cited in

(3)

• Approximation in quantale-enriched categories
• Failure of Cartesian closedness in NF
• ALGEBRAIC NEW FOUNDATIONS

This page was built for publication: Approximating Cartesian closed categories in NF-style set theories

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