Graduate studies at Western
British Journal for the Philosophy of Science 41 (3):351-375 (1990)
|Abstract||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 the history of set theory, including a false history plausible from that point of view that would make it helpful to introduce toposes as a generalization from set theory.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Steve Awodey, Carsten Butz & Alex Simpson (2007). Relating First-Order Set Theories and Elementary Toposes. Bulletin of Symbolic Logic 13 (3):340-358.
S. Awodey, N. Gambino & M. A. Warren (2009). Lawvere-Tierney Sheaves in Algebraic Set Theory. Journal of Symbolic Logic 74 (3):861 - 890.
Marek Zawadowski (1983). The Skolem-Löwenheim Theorem in Toposes. Studia Logica 42 (4):461 - 475.
Makmiller Pedroso (2009). On Three Arguments Against Categorical Structuralism. Synthese 170 (1):21 - 31.
Steve Awodey (2008). A Brief Introduction to Algebraic Set Theory. Bulletin of Symbolic Logic 14 (3):281-298.
Geoffrey Hellman (2003). Does Category Theory Provide a Framework for Mathematical Structuralism? Philosophia Mathematica 11 (2):129-157.
Peter Schreiber (1996). Mengenlehre—Vom Himmel Cantors Zur Theoria Prima Inter Pares. NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 4 (1):129-143.
Claire Kouwenhoven-Gentil & Jaap van Oosten (2005). Algebraic Set Theory and the Effective Topos. Journal of Symbolic Logic 70 (3):879 - 890.
Marta Bunge (1984). Toposes in Logic and Logic in Toposes. Topoi 3 (1):13-22.
Added to index2009-01-28
Total downloads55 ( #22,003 of 740,168 )
Recent downloads (6 months)2 ( #37,287 of 740,168 )
How can I increase my downloads?