# The Uses and Abuses of the History of Topos Theory

@article{McLarty1990TheUA, title={The Uses and Abuses of the History of Topos Theory}, author={Colin McLarty}, journal={The British Journal for the Philosophy of Science}, year={1990}, volume={41}, pages={351 - 375} }

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… Expand

#### 67 Citations

Category theory and the foundations of mathematics: Philosophical excavations

- Philosophy, Computer Science
- Synthese
- 2005

The aim of this paper is to clarify the role of category theory in the foundations of mathematics by showing that already in the set theoretical framework, there are different dimensions to the expression ‘foundations of’. Expand

Physics A Topos for Algebraic Quantum Theory

- 2009

The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr’s idea that the empirical… Expand

2 7 Se p 20 07 A topos for algebraic quantum theory

- 2009

We show how a C*-algebra naturally induces a topos in which the family of its commutative subalgebras becomes a commutative C*-algebra. Its internal spectrum is a compact regular locale, and the… Expand

Mathematical Physics A Topos for Algebraic Quantum Theory

- 2009

The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr’s idea that the empirical… Expand

09 A topos for algebraic quantum theory

- 2018

ing frames O (X ) coming from a topological space to general frames is a genuine generalization of the concept of a space, as plenty of frames exist tha t are not of the form O (X ). A simple example… Expand

Ap r 20 09 A topos for algebraic quantum theory

- 2017

ing frames O (X ) coming from a topological space to general frames is a genuine generalization of the concept of a space, as plenty of frames exist tha t are not of the form O (X ). A simple example… Expand

Sheaf Semantics in Constructive Algebra and Type Theory

- Mathematics
- 2016

In this thesis we present two applications of sheaf semantics. The first is to give constructive proof of Newton–Puiseux theorem. The second is to show the independence of Markov’s principle from… Expand

Sets, Classes, and Categories

- Mathematics
- The British Journal for the Philosophy of Science
- 2001

This paper, accessible for a general philosophical audience having only some fleeting acquaintance with set‐theory and category‐theory, concerns the philosophy of mathematics, specifically the… Expand

The Meaning of Category Theory for 21st Century Philosophy

- Philosophy
- 2006

Among the main concerns of 20th century philosophy was that of the foundations of mathematics. But usually not recognized is the relevance of the choice of a foundational approach to the other main… Expand

Set theory for category theory

- Mathematics
- 2008

Questions of set-theoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to… Expand

#### References

SHOWING 1-10 OF 74 REFERENCES

Continuously Variable Sets; Algebraic Geometry = Geometric Logic

- Mathematics
- 1975

Publisher Summary The (elementary) theory of topoi is the basis for the study of continuously variable structures as classical set theory is the basis for the study of constant structures. Sheaves on… Expand

Adjointness in Foundations

- Computer Science
- 1969

This article sums up a stage of the development of the relationship between category theory and proof theory and shows how already in 1967 category theory had made explicit a number of conceptual advances that were entering into the everyday practice of mathematics. Expand

Toposes, Algebraic Geometry and Logic

- Mathematics
- 1972

Sheaf theory and the continuum hypothesis.- Classifying topos.- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic.- The… Expand

The Category of Categories as a Foundation for Mathematics

- Mathematics
- 1966

In the mathematical development of recent decades one sees clearly the rise of the conviction that the relevant properties of mathematical objects are those which can be stated in terms of their… Expand

Variable Quantities and Variable Structures in Topoi

- Mathematics
- 1976

Publisher Summary This chapter discusses variable quantities and variable structures in topoi. The chapter presents the conceptual basis for topoi in mathematical experience with variable sets and… Expand

The Work of Samuel Eilenberg in Topology

- Mathematics
- 1976

Publisher Summary This chapter focuses on the work of Samuel Eilenberg in topology. Algebraic topology is growing and solving problems, but non-topologists are very skeptical. At Harvard, Tucker gave… Expand

The Consistency Problem for Set Theory: An Essay on the Cantorian Foundations of Mathematics (II)

- Mathematics
- The British Journal for the Philosophy of Science
- 1977

2 The Problem of Infinity. 2.I The Problem of Infinity in Classical Mathematics. 2.2 Functionals and Continuity in Classical Set Theory. 2.3 A Formulation of the Consistency Problem for Set Theory. 3… Expand

Defining sets as sets of points of spaces

- Mathematics, Computer Science
- J. Philos. Log.
- 1988

This chapter discusses Cantor's definition of a set as "any collection" and the role of type theories and comprehension axioms in this conception of the continuum. Expand

An elementary theory of the category of topological spaces

- Mathematics
- 1970

An elementary system of axioms was given by F. W. Lawvere for the category of sets and mappings. The purpose of this paper is to provide a finite number of elementary axioms for the category of… Expand

Two Episodes in the Unification of Logic and Topology

- The British Journal for the Philosophy of Science
- 1985

The aims of this essay are twofold. In the first place I would like to exhibit a twentieth-century instance of an important pattern of mathematical reasoning which I have discussed elsewhere in its… Expand