Approximating Cartesian closed categories in NF-style set theories

DOI10.1007/S10992-017-9425-2zbMATH Open1436.03269OpenAlexW2581496119MaRDI QIDQ1702983FDOQ1702983

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

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

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)

Cites Work

• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• Title not available (Why is that?)
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• Title not available (Why is that?)
• Failure of Cartesian closedness in NF

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)