© 1990 by British Society for the Philosophy of Science
articles |
The Uses and Abuses of the History of Topos Theory
Case Western Reserve University Cleveland, Ohio, U.S.A.
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.
![]()
CiteULike
Connotea
Del.icio.us What's this?
This article has been cited by other articles:
![]() |
E. Landry and J.-P. Marquis Categories in Context: Historical, Foundational, and Philosophical Philosophia Mathematica, February 1, 2005; 13(1): 1 - 43. [Abstract] [Full Text] [PDF] |
||||
