The uses and abuses of the history of topos theory
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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesClaire Kouwenhoven-Gentil & Jaap van Oosten (2005). Algebraic Set Theory and the Effective Topos. Journal of Symbolic Logic 70 (3):879 - 890.
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.
Geoffrey Hellman (2003). Does Category Theory Provide a Framework for Mathematical Structuralism? Philosophia Mathematica 11 (2):129-157.
Steve Awodey (2008). A Brief Introduction to Algebraic Set Theory. Bulletin of Symbolic Logic 14 (3):281-298.
Makmiller Pedroso (2009). On Three Arguments Against Categorical Structuralism. Synthese 170 (1):21 - 31.
Marek Zawadowski (1983). The Skolem-Löwenheim Theorem in Toposes. Studia Logica 42 (4):461 - 475.
S. Awodey, N. Gambino & M. A. Warren (2009). Lawvere—Tierney Sheaves in Algebraic Set Theory. Journal of Symbolic Logic 74 (3):861-890.
Steve Awodey, Carsten Butz & Alex Simpson (2007). Relating First-Order Set Theories and Elementary Toposes. The Bulletin of Symbolic Logic 13 (3):340 - 358.
Marta Bunge (1984). Toposes in Logic and Logic in Toposes. Topoi 3 (1):13-22.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads52 ( #19,948 of 549,041 )Recent downloads (6 months)6 ( #12,324 of 549,041 )How can I increase my downloads? |
My notes
Discussion
