Switch to: References

Add citations

You must login to add citations.
  1. Approximating Cartesian Closed Categories in NF-Style Set Theories.Morgan Thomas - 2018 - Journal of Philosophical Logic 47 (1):143-160.
    I criticize, but uphold the conclusion of, an argument by McLarty to the effect that New Foundations style set theories don’t form a suitable foundation for category theory. McLarty’s argument is from the fact that Set and Cat are not Cartesian closed in NF-style set theories. I point out that these categories do still have a property approximating Cartesian closure, making McLarty’s argument not conclusive. After considering and attempting to address other problems with developing category theory in NF-style set theories, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Foundations as truths which organize mathematics.Colin Mclarty - 2013 - Review of Symbolic Logic 6 (1):76-86.
    The article looks briefly at Fefermans own foundations. Among many different senses of foundations, the one that mathematics needs in practice is a recognized body of truths adequate to organize definitions and proofs. Finding concise principles of this kind has been a huge achievement by mathematicians and logicians. We put ZFC and categorical foundations both into this context.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • The prospects of unlimited category theory: Doing what remains to be done.Michael Ernst - 2015 - Review of Symbolic Logic 8 (2):306-327.
    The big question at the end of Feferman is: Is it possible to find a foundation for unlimited category theory? I show that the answer is no by showing that unlimited category theory is inconsistent.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Alternative axiomatic set theories.M. Randall Holmes - 2008 - Stanford Encyclopedia of Philosophy.
  • Enriched stratified systems for the foundations of category theory.Solomon Feferman - unknown
    Four requirements are suggested for an axiomatic system S to provide the foundations of category theory: (R1) S should allow us to construct the category of all structures of a given kind (without restriction), such as the category of all groups and the category of all categories; (R2) It should also allow us to construct the category of all functors between any two given categories including the ones constructed under (R1); (R3) In addition, S should allow us to establish the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations