Journal Article
The Uses and Abuses of the History of Topos Theory
Colin McLarty
The British Journal for the Philosophy of Science
Vol. 41, No. 3 (Sep., 1990), pp. 351-375
Published
by: Oxford University Press on behalf of The British Society for the Philosophy of Science
https://www.jstor.org/stable/687825
Page Count: 25
You can always find the topics here!
Topics: Mathematical topoi, Axioms, Algebra, Mathematical functions, Functors, Topological spaces, Universal algebra, Algebraic topology
Were these topics helpful?
Select the topics that are inaccurate.
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.
The British Journal for the Philosophy of Science
© 1990 The British Society for the Philosophy of Science