Skip to main content

ETHNOS_APP

Home • Search • Journals • List 0

The Uses and Abuses of the History of Topos Theory

Bibliographic Data

ID8399267
AuthorsColin Mclarty (0000-0002-3181-7537, Case Western Reserve University, corresponding author)
Year1990
Volume41
Issue3
Pages351-375
Publication date1990-09-01
Peer ReviewedYes
Open AccessNo
TypeARTICLE
VenueThe British Journal for the Philosophy of Science (JOURNAL)
Journal identifiersISSN: 0007-0882 • E-ISSN: 1464-3537
PublisherOxford University Press (PUBLISHER • GB)
DOI10.1093/bjps/41.3.351
OpenAlexW1963512899
LanguageEN
Citations received6
References cited22

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.

Algebra over a field · Categorical variable · Category theory · Generalization · Pure mathematics · Set (abstract data type) · Set theory · Topos theory · Computer Science · History and Theory of Mathematics · Mathematics · Philosophy and History of Science · Topological and Geometric Data Analysis

  • Towards a Philosophy of Real Mathematics

    David Corfield•Towards a Philosophy of Real…•2009

  • Sets, Classes, and Categories

    F A Muller, Fritz Müller•The British Journal for the…•2001

  • Conceptual mathematics

    Open Access•David Corfield•Studies in History and Philosophy…•2002

  • Category theory and the foundations of mathematics

    Open Access•Jean-Pierre Marquis, Jean‐Pierre Marquis•Synthese•1995

  • Category Theory

    Open Access•Elaine Landry•Philosophy of Science•1999

  • The Indispensability Argument and Multiple Foundations for Mathematics

    Alan R H Baker, Alan Baker•The Philosophical Quarterly•2003

  • Categories, toposes and sets

    Open Access•J L Bell, John Bell•Synthese•1982

  • From absolute to local mathematics

    Open Access•J L Bell, John Bell•Synthese•1986

  • Two Episodes in the Unification of Logic and Topology

    Emily R Grosholz•The British Journal for the…•1985

  • On the Consistency Problem for Set Theory

    John Mayberry, JOHN P MAYBERRY•The British Journal for the…•1977

Unique citing works6
Citations per year0,19
Citation span1995 - 2009 (15)
Citation velocityhistorical
Highly citedNo
Citation typesNeutral: 6

Tools

Open DOISci-Hub
Ethnos_APP • Open Source Project • MIT License • Frontend v2.0.0 • Privacy and Cookies • API Documentation: api.ethnos.app/docs • API Source Code: GitHub • DOI: 10.5281/zenodo.17049435 • Frontend Source Code: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae