In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi relativizes to all models of set theory with choice.

Alexandre Grothendieck foi um dos maiores matemáticos do século 20 e um dos mais atípicos. Nascido na Alemanha a um pai anarquista de origem russa, sua infância foi marcada pela militância política dos seus pais, assim passando por revoluções, guerras e sobrevivência. Descoberto por sua precocidade matemática por Henri Cartan, Grothendieck fez seu doutorado sob orientação de Laurent Schwartz e Jean Dieudonné. As principais contribuições dele são na área da topologia e na geometria algébrica, assim como na teoria (...) das categorias. No final dos anos de 1960, ele se dedicou à militância política e ecológica, organizando a revista Survivre durante três anos. Em 1986, publicou um manuscrito autobiográfico de 1000 páginas, Récoltes et semailles, em que ele descreve sua experiência e sua prática da matemática, assim suas contribuições à comunidade matemática francesa. Pouco comentado na filosofia, as implicações dos seus descobrimentos fora mais recentemente discutidas por Alain Badiou na sua "fenômeno-lógica", em Logiques des mondes e Arkady Plonitsky, Mathgematics, Science and postclassical Theory, pesquisa trata da semelhança entre os aspectos formais da filosofia de Gilles Deleuze e da topologia de Grothendieck. (shrink)

No mathematician did more to change mathematics in the second half of the twentieth century than Alexandre Grothendieck. This would have been true even if he had been a quiet figure with a liking for playing the piano and walking in the hills but, as this book makes very clear, he was far from that, and his character and his way of working enhanced his impact. Above all, there was his abrupt departure from the world of mathematics in 1970 (...) and his occasional interventions in it since.This review was submitted a few days before Grothendieck's death in November 2014—Editor.As a teenager, Grothendieck had lived with his mother protected from the Nazis by courageous Huguenots in the village of Le Chambon-sur-Lignon. Immediately after the war, he went to the University of Montpellier where he studied mathematics and soon made his way to Nancy and was introduced to Dieudonné and Schwartz, who were members of Bourbaki. His first original work was in the theory of Banach spaces where, in the wo .. (shrink)

We prove the triviality of the Grothendieck ring of a Z-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K 2 to itself minus a point. When we specialized to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.

We shall address from a conceptual perspective the duality between algebra and geometry in the framework of the refoundation of algebraic geometry associated to Grothendieck’s theory of schemes. To do so, we shall revisit scheme theory from the standpoint provided by the problem of recovering a mathematical structure A from its representations \ into other similar structures B. This vantage point will allow us to analyze the relationship between the algebra-geometry duality and the structure-semiotics duality. Whereas in classical algebraic (...) geometry a certain kind of rings can be recovered by considering their representations with respect to a unique codomain B, Grothendieck’s theory of schemes permits to reconstruct general rings by considering representations with respect to a category of codomains. The strategy to reconstruct the object from its representations remains the same in both frameworks: the elements of the ring A can be realized—by means of what we shall generally call Gelfand transform—as quantities on a topological space that parameterizes the relevant representations of A. As we shall argue, important dualities in different areas of mathematics can be understood as particular cases of this general pattern. In the wake of Majid’s analysis of the Pontryagin duality, we shall propose a Kantian-oriented interpretation of this pattern. We shall use this conceptual framework to argue that Grothendieck’s notion of functor of points can be understood as a “relativization of the a priori” that generalizes the relativization already conveyed by the notion of domain extension to more general variations of the corresponding domains. (shrink)

We prove the triviality of the Grothendieck ring of a $\mathbb{Z}$-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K$^2$ to itself minus a point. When we specialized to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.

The large-structure tools of cohomology including toposes and derived categories stay close to arithmetic in practice, yet published foundations for them go beyond ZFC in logical strength. We reduce the gap by founding all the theorems of Grothendieck’s SGA, plus derived categories, at the level of Finite-Order Arithmetic, far below ZFC. This is the weakest possible foundation for the large-structure tools because one elementary topos of sets with infinity is already this strong.

Dans sa thèse complémentaire intitulée « Essai sur l’unité des sciences mathématiques dans leur développement actuel » Albert Lautman analysa la question de l’unité des mathématiques en considérant différentes paires antithétiques de concepts mathématiques, notamment le continu et le discret. Dans le cadre de sa refonte de la géométrie algébrique abstraite, le mathématicien français Alexandre Grothendieck considéra également l’opposition traditionnelle du continu et du discret selon un cadre conceptuel fort similaire à celui de Lautman. En comparaison, l’introduction du concept (...) de topos lui permit de donner une réponse strictement mathématique et parfaitement claire à cette question.Albert Lautman’s complementary thesis, entitled “Essai sur l’unité des sciences mathématiques dans leur développement actuel”, analysed the unity of mathematics through various antithetical pairs of mathematical concepts such as the continuous and the discrete. As part of his renewal of abstract algebraic geometry, French mathematician Alexandre Grothendieck also considered the traditional opposition between the continuous and the discrete and adopted a conceptual framework very similar to that of Lautman. However, the topos concept allowed Grothendieck to come up with a purely mathematical and, in comparison, much clearer solution. (shrink)

Working in a fixed Grothendieck topos Sh(C, J C ) we generalize \({\mathcal{L}_{{\infty},\omega}}\) to allow our languages and formulas to make explicit reference to Sh(C, J C ). We likewise generalize the notion of model. We then show how to encode these generalized structures by models of a related sentence of \({\mathcal{L}_{{\infty},\omega}}\) in the category of sets and functions. Using this encoding we prove analogs of several results concerning \({\mathcal{L}_{{\infty},\omega}}\) , such as the downward Löwenheim–Skolem theorem, the completeness theorem (...) and Barwise compactness. (shrink)

We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially ordered Euler characteristic and Grothendieck ring and give a characterization of structures that have non-trivial partially ordered Grothendieck ring. We give a generalization of counting functions to locally finite structures, and use the construction to show that the Grothendieck ring of the complex numbers contains as a (...) subring the ring of integer polynomials in continuum many variables. We prove the existence of a universal strong Euler characteristic on a structure. We investigate the dependence of the Grothendieck ring on the theory of the structure and give a few counter-examples. Finally, we relate some open problems and independence results in bounded arithmetic to properties of particular Grothendieck rings. (shrink)

We analyze the notions of indiscernibility and indeterminacy in the light of the Galois theory of field extensions and the generalization to \(K\) -algebras proposed by Grothendieck. Grothendieck’s reformulation of Galois theory permits to recast the Galois correspondence between symmetry groups and invariants as a Galois–Grothendieck duality between \(G\) -spaces and the minimal observable algebras that discern (or separate) their points. According to the natural epistemic interpretation of the original Galois theory, the possible \(K\) -indiscernibilities between the (...) roots of a polynomial \(p(x)\in K[x]\) result from the limitations of the field \(K\) . We discuss the relation between this epistemic interpretation of the Galois–Grothendieck duality and Leibniz’s principle of the identity of indiscernibles. We then use the conceptual framework provided by Klein’s Erlangen program to propose an alternative ontologic interpretation of this duality. The Galoisian symmetries are now interpreted in terms of the automorphisms of the symmetric geometric figures that can be placed in a background Klein geometry. According to this interpretation, the Galois–Grothendieck duality encodes the compatibility condition between geometric figures endowed with groups of automorphisms and the ‘observables’ that can be consistently evaluated at such figures. In this conceptual framework, the Galoisian symmetries do not encode the epistemic indiscernibility between individuals, but rather the intrinsic indeterminacy in the pointwise localization of the figures with respect to the background Klein geometry. (shrink)

We analyze the notion of indiscernibility in the light of the Galois theory of field extensions and the generalization to K-algebras proposed by Grothendieck. Grothendieck's reformulation of Galois theory permits to recast the Galois correspondence between symmetry groups and invariants as a duality between G-spaces and the minimal observable algebras that separate theirs points. In order to address the Galoisian notion of indiscernibility, we propose what we call an epistemic reading of the Galois-Grothendieck theory. According to this (...) viewpoint, the Galoisian notion of indiscernibility results from the limitations of the `resolving power' of the observable algebras used to discern the corresponding `coarse-grained' states. The resulting Galois-Grothendieck duality is rephrased in the form of what we call a Galois indiscernibility principle. According to this principle, there exists an inverse correlation between the coarsegrainedness of the states and the size of the minimal observable algebra that discern these states. (shrink)

How can metaphors account for the formation of mathematical concepts, for changes in mathematical practices, or for the handling of mathematical problems? Following Hans Blumenberg’s thought, this paper aims to unfold a possible answer to these questions by viewing the metaphorical frameworks accompanying these changes as essential for an understanding of how changes in mathematical practices have been accounted for. I will focus especially on cases in which these changes were caused by encounters with a mathematical object which did not (...) yet have a well-defined concept, but also show that such indeterminacy remains with the mathematical concept even after it is considered ‘well-defined’. As the paper will show, this ‘forefield’ [Vorfeld] of the concept is addressed by Blumenberg’s account of metaphorology on the one hand, and accompanied by his later account of nonconceptuality [Unbegrifflichkeit] on the other hand. While Blumenberg himself did not develop a full-fledged philosophy of mathematics or of mathematical practices, I aim to show that one can nevertheless extract from his writings a unique position concerning the role metaphors play in mathematics. To this end, Blumenberg’s account of nautical and oceanic metaphors and Alexandre Grothendieck’s philosophy of mathematical practice provide fruitful starting points. (shrink)

We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially ordered Euler characteristic and Grothendieck ring and give a characterization of structures that have non-trivial partially ordered Grothendieck ring. We give a generalization of counting functions to locally finite structures, and use the construction to show that the Grothendieck ring of the complex numbers contains as a (...) subring the ring of integer polynomials in continuum many variables. We prove the existence of a universal strong Euler characteristic on a structure. We investigate the dependence of the Grothendieck ring on the theory of the structure and give a few counter-examples. Finally, we relate some open problems and independence results in bounded arithmetic to properties of particular Grothendieck rings. (shrink)

Contemporary versions of Bell’s argument against local hidden variable (LHV) theories are based on the Clauser Horne Shimony and Holt (CHSH) inequality, and various attempts to generalize it. The amount of violation of these inequalities cannot exceed the bound set by the Grothendieck constants. However, if we go back to the original derivation by Bell, and use the perfect anticorrelation embodied in the singlet spin state, we can go beyond these bounds. In this paper we derive two-particle Bell inequalities (...) for traceless two-outcome observables, whose violation in the singlet spin state go beyond the Grothendieck constant both for the two and three dimensional cases. Moreover, creating a higher dimensional analog of perfect correlations, and applying a recent result of Alon and his associates (Invent. Math. 163 499 (2006)) we prove that there are two-particle Bell inequalities for traceless two-outcome observables whose violation increases to in…nity as the dimension and number of measurements grow. Technically these result are possible because perfect correlations (or anti-correlations) allow us to transport the indices of the inequality from the edges of a bipartite graph to those of the complete graph. Finally, it is shown how to apply these results to mixed Werner states, provided that the noise does not exceed 20%. (shrink)

This paper explores the set theoretic assumptions used in the current published proof of Fermat's Last Theorem, how these assumptions figure in the methods Wiles uses, and the currently known prospects for a proof using weaker assumptions.

We develop a categorical scheme of interpretation of quantum event structures from the viewpoint of Grothendieck topoi. The construction is based on the existence of an adjunctive correspondence between Boolean presheaves of event algebras and Quantum event algebras, which we construct explicitly. We show that the established adjunction can be transformed to a categorical equivalence if the base category of Boolean event algebras, defining variation, is endowed with a suitable Grothendieck topology of covering systems. The scheme leads to (...) a sheaf theoretical representation of Quantum structure in terms of variation taking place over epimorphic families of Boolean reference frames. (shrink)

We point out how the "Fundamental Theorem of Stability Theory", namely the equivalence between the "non order property" and definability of types, proved by Shelah in the 1970s, is in fact an immediate consequence of Grothendieck's "Criteres de compacite" from 1952. The familiar forms for the defining formulae then follow using Mazur's Lemma regarding weak convergence in Banach spaces.

We analyse the proposition that the spacetime structure is modified at short distances or at high energies due to weakening of classical logic. The logic assigned to the regions of spacetime is intuitionistic logic of some topoi. Several cases of special topoi are considered. The quantum mechanical effects can be generated by such semi-classical spacetimes. The issues of: background independence and general relativity covariance, field theoretic renormalization of divergent expressions, the existence and definition of path integral measures, are briefly discussed (...) in the proposal. The connection with some problems in foundations of mathematics and differential topology are also discussed. (shrink)

We revisit Heisenberg indeterminacy principle in the light of the Galois–Grothendieck theory for the case of finite abelian Galois extensions. In this restricted framework, the Galois–Grothendieck duality between finite K-algebras split by a Galois extension \ and finite \\) -sets can be reformulated as a Pontryagin duality between two abelian groups. We define a Galoisian quantum model in which the Heisenberg indeterminacy principle can be understood as a manifestation of a Galoisian duality: the larger the group of automorphisms (...) \ of the states in a G-set \ , the smaller the “conjugate” algebra of observables that can be consistently evaluated on such states. Finally, we argue that states endowed with a group of automorphisms \ can be interpreted as squeezed coherent states, i.e. as states that minimize the Heisenberg indeterminacy relations. (shrink)

We refine results of Gannon [6, Theorem 4.7] and Simon [22, Lemma 2.8] on convergence of Morley sequences. We then introduce the notion of eventual $NIP$, as a property of a model, and prove a variant of [15, Corollary 2.2]. Finally, we give new characterizations of generically stable types (for countable theories) and reinforce the main result of Pillay [17] on the model-theoretic meaning of Grothendieck’s double limit theorem.

In this paper we study the axiomatic system proposed by Bourbaki for the Theory of Sets in the Éléments de Mathématique. We begin by examining the role played by the sign \(\uptau \) in the framework of its formal logical theory and then we show that the system of axioms for set theory is equivalent to Zermelo–Fraenkel system with the axiom of choice but without the axiom of foundation. Moreover, we study Grothendieck’s proposal of adding to Bourbaki’s system the (...) axiom of universes for the purpose of considering the theory of categories. In this regard, we make some historical and epistemological remarks that could explain the conservative attitude of the Group. (shrink)

We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpretation using the framework of Grothendieck fibrations. We then use this formulation to prove the central property of this interpretation, namely homotopy invariance. To do this, we use the result from [8] that any Grothendieck fibration of the kind being considered can automatically be upgraded to a two-dimensional fibration, after which the invariance property is reduced (...) to an abstract theorem concerning pseudonatural transformations of morphisms into two-dimensional fibrations. (shrink)

In this paper, we give an axiomatization of the ordinal number system, in the style of Dedekind’s axiomatization of the natural number system. The latter is based on a structure $(N,0,s)$ consisting of a set N, a distinguished element $0\in N$ and a function $s\colon N\to N$. The structure in our axiomatization is a triple $(O,L,s)$, where O is a class, L is a class function defined on all s-closed ‘subsets’ of O, and s is a class function $s\colon O\to (...) O$. In fact, we develop the theory relative to a Grothendieck-style universe (minus the power set axiom), as a way of bringing the natural and the ordinal cases under one framework. We also establish a universal property for the ordinal number system, analogous to the well-known universal property for the natural number system. (shrink)

We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local arithmetics in measurement situations. This construction makes possible the adaptation of the methodology of Abstract Differential Geometry (ADG), à la Mallios, in a topos-theoretic environment, and hence, the extension of the “mechanism of differentials” in the quantum regime. The process of gluing information, within diagrams of commutative algebraic localizations, (...) generates dynamics, involving the transition from the classical to the quantum regime, formulated cohomologically in terms of a functorial quantum connection, and subsequently, detected via the associated curvature of that connection. (shrink)

Homologous operational localization processes are effectuated in terms of generalized topological covering systems on structures of physical events. We study localization systems of quantum events' structures by means of Gtothendieck topologies on the base category of Boolean events' algebras. We show that a quantum events algebra is represented by means of a Grothendieck sheaf-theoretic fibred structure, with respect to the global partial order of quantum events' fibres over the base category of local Boolean frames.

We establish a criterion for deciding whether a class of structures is the class of models of a geometric theory inside Grothendieck toposes; then we specialize this result to obtain a characterization of the infinitary first-order theories which are geometric in terms of their models in Grothendieck toposes, solving a problem posed by Ieke Moerdijk in 1989.

The centrality of the whole/part relation in mathematics is demonstrated through the presentation and analysis of examples from algebra, geometry, functional analysis,logic, topology and category theory.

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over [Formula: see text] but has [Formula: see text]-measure 0 for every automorphism invariant Keisler measure [Formula: see text] and (ii) a definable group [Formula: see text] in a simple theory such that [Formula: see text] is not definably amenable, i.e. there is no translation invariant Keisler measure on [Formula: see text]. We also discuss paradoxical decompositions both in the setting of discrete groups (...) and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups. (shrink)

We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and Löwe [14], including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism, Grothendieck–Zermelo potentialism, transitive-set potentialism, forcing potentialism, countable-transitive-model potentialism, countable-model potentialism, and others. In each case, we identify lower bounds for the modal validities, which are generally either S4.2 or (...) S4.3, and an upper bound of S5, proving in each case that these bounds are optimal. The validity of S5 in a world is a potentialist maximality principle, an interesting set-theoretic principle of its own. The results can be viewed as providing an analysis of the modal commitments of the various set-theoretic multiverse conceptions corresponding to each potentialist account. (shrink)

Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis-a-vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves. We propose a synthesis of Bell's many-topoi view and modal-structuralism. Surprisingly, a combination of mereology and plural quantification suffices to describe hypothetical large domains, recovering the Grothendieck method of universes. Both topos theory and set theory can be carried (...) out relative to such domains; puzzles about ‘large categories’ and ‘proper classes’ are handled in a uniform way, by relativization, sustaining insights of Zermelo. (shrink)

We prove that if $$\mathcal {A}$$ A is an infinite Boolean algebra in the ground model V and $$\mathbb {P}$$ P is a notion of forcing adding any of the following reals: a Cohen real, an unsplit real, or a random real, then, in any $$\mathbb {P}$$ P -generic extension V[G], $$\mathcal {A}$$ A has neither the Nikodym property nor the Grothendieck property. A similar result is also proved for a dominating real and the Nikodym property.

Figures of Thought looks at how mathematical works can be read as texts and examines their textual strategies. David Reed offers the first sustained and critical attempt to find a consistent argument or narrative thread in mathematical texts. Reed selects mathematicians from a range of historical periods and compares their approaches to organizing and arguing texts, using an extended commentary on Euclid's Elements as a central structuring framework. He develops fascinating interpretations of mathematicians' work throughout history, from Descartes to Hilbert, (...) Kronecker, Dedekind, Weil and Grothendieck. Reed traces the implications of this approach to the understanding of the history and development of mathematics. (shrink)

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The first section covers the history of these ideas in philosophy. Chapter one, entitled ‘The continuous and the discrete in Ancient Greece, the Orient and the European Middle Ages,’ reviews the work of Plato, Aristotle, Epicurus, and other Ancient Greeks; the elements of early Chinese, Indian and Islamic thought; and early Europeans including Henry of Harclay, Nicholas of (...) Autrecourt, Duns Scotus, William of Ockham, Thomas Bradwardine and Nicolas Oreme. The second chapter of the book covers European thinkers of the sixteenth and seventeenth centuries: Galileo, Newton, Leibniz, Descartes, Arnauld, Fermat, and more. Chapter three, 'The age of continuity,’ discusses eighteenth century mathematicians including Euler and Carnot, and philosophers, among them Hume, Kant and Hegel. Examining the nineteenth and early twentieth centuries, the fourth chapter describes the reduction of the continuous to the discrete, citing the contributions of Bolzano, Cauchy and Reimann. Part one of the book concludes with a chapter on divergent conceptions of the continuum, with the work of nineteenth and early twentieth century philosophers and mathematicians, including Veronese, Poincaré, Brouwer, and Weyl. Part two of this book covers contemporary mathematics, discussing topology and manifolds, categories, and functors, Grothendieck topologies, sheaves, and elementary topoi. Among the theories presented in detail are non-standard analysis, constructive and intuitionist analysis, and smooth infinitesimal analysis/synthetic differential geometry. No other book so thoroughly covers the history and development of the concepts of the continuous and the infinitesimal. (shrink)

We characterize Morita equivalence of theories in the sense of Johnstone in terms of a new syntactic notion of a common definitional extension developed by Barrett and Halvorson for cartesian, regular, coherent, geometric and first-order theories. This provides a purely syntactic characterization of the relation between two theories that have equivalent categories of models naturally in any Grothendieck topos.

In this paper we bring together results from a series of previous papers to prove the constructive version of the Gelfand duality theorem in any Grothendieck topos , obtaining a dual equivalence between the category of commutative C*-algebras and the category of compact, completely regular locales in the topos.

Zalamea’s book is as original as it is belated. It is indeed surprising, if we give it a moment’s thought, just how greatly behind schedule philosophical reflection on contemporary mathematics lags, especially considering the momentous changes that took place in the second half of the twentieth century. Zalamea compares this situation with that of the philosophy of physics: he mentions D’Espagnat’s work on quantum mechanics, but we could add several others who, in the last few decades, have elaborated an extremely (...) timely philosophy of contemporary physics (see for example Bitbol 2000; Bitbol et al. 2009). As was the case in biology, philosophy – since Kant’s crucial observations in the Critique of Judgment, at least – has often “run ahead” of life sciences, exploring and opening up a space for reflections that are not derived from or integrated with its contemporary scientific practice. Some of these reflections are still very much auspicious today. And indeed, some philosophers today are saying something truly new about biology... (shrink)

This book introduces a set of methods and techniques for studying mathematical theories and relating them to each other through the use of Grothendieck toposes.

Foundations and Applications depend ultimately for their existence on each other. The main links between them are education and the axiomatic method. Those links can be strengthened with the help of a categorical method which was concentrated forty years ago by Cartier, Grothendieck, Isbell, Kan, and Yoneda. I extended that method to extract some essential features of the category of categories in 1965, and I apply it here in section 3 to sketch a similar foundation within the smooth categories (...) which provide the setting for the mathematics of change. The possibility that other methods may be needed to clarify a contradiction introduced by Cantor, now embedded in mathematical practice, is discussed in section 5. (shrink)

Fruit de la science du XIXème siècle, canon des savoirs ou idéologie sujette à caution, le structuralisme mathématique, après avoir longtemps imposé ses vues jusque dans les sciences humaines, doit aujourd'hui céder la place. La succession est difficile, mais c'est dans ce renouveau nécessaire de la pensée mathématique que se joue sa légitimité intellectuelle et sociale. Pour comprendre le cheminement de la mathématique contemporaine, son affranchissement progressif des mots d'ordre des " maths modernes ", et les voies qui lui sont (...) aujourd'hui ouvertes, il faut d'abord déconstruire une histoire officielle par trop réductrice. Au XIXème siècle, et jusqu'au milieu du XXème, dans les travaux de mathématiciens comme Galois, Hilbert ou Weyl, s'est jouée et affirmée une autre conception de la pensée mathématique. C'est cette tradition de pensée et son exigence philosophique, tradition de savants, non de scientifiques, que la modernité nous apprend à faire revivre au travers d'œuvres comme celle d'Alexandre Grothendieck ou dans l'aristotélisme d'un René Thom. (shrink)

Notices Amer. Math. Sac. 51, 2004). Logically, such a "Grothendieck topos" is something like a universe of continuously variable sets. Before long, however, F.W. Lawvere and M. Tierney provided an elementary axiomatization..

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. (shrink)