Switch to: References

Add citations

You must login to add citations.
  1. The History of Categorical Logic: 1963-1977.Jean-Pierre Marquis & Gonzalo Reyes - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the history of logic. Boston: Elsevier.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
    The view that toposes originated as generalized set theory is a figment of set theoretically educated common sense. This false history obstructs understanding of category theory and especially of categorical foundations for mathematics. Problems in geometry, topology, and related algebra led to categories and toposes. Elementary toposes arose when Lawvere's interest in the foundations of physics and Tierney's in the foundations of topology led both to study Grothendieck's foundations for algebraic geometry. I end with remarks on a categorical view of (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • (1 other version)A Language for Type‐Free Algebra.William S. Hatcher - 1978 - Mathematical Logic Quarterly 24 (25‐30):385-397.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)A Language for Type-Free Algebra.William S. Hatcher - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):385-397.
    Download  
     
    Export citation  
     
    Bookmark