Failure of Cartesian closedness in NF

DOI10.2307/2275291zbMath0764.18002OpenAlexW2125996131MaRDI QIDQ4032641

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

topossmall categoriesNew FoundationsfunctionCartesian closurecategory of categories

Mathematics Subject Classification ID

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

Related Items (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