History of topos theory
![]() | This article includes a list of general references, but it lacks sufficient corresponding inline citations. (August 2017) |
This article gives some very general background to the
In the school of Grothendieck
During the latter part of the 1950s, the foundations of algebraic geometry were being rewritten; and it is here that the origins of the topos concept are to be found. At that time the Weil conjectures were an outstanding motivation to research. As we now know, the route towards their proof, and other advances, lay in the construction of étale cohomology.
With the benefit of hindsight, it can be said that algebraic geometry had been wrestling with two problems for a long time. The first was to do with its points: back in the days of projective geometry it was clear that the absence of 'enough' points on an algebraic variety was a barrier to having a good geometric theory (in which it was somewhat like a compact manifold). There was also the difficulty, that was clear as soon as topology took form in the first half of the twentieth century, that the topology of algebraic varieties had 'too few' open sets.
The question of points was close to resolution by 1950; Alexander Grothendieck took a sweeping step (invoking the Yoneda lemma) that disposed of it—naturally at a cost, that every variety or more general scheme should become a functor. It wasn't possible to add open sets, though. The way forward was otherwise.
The topos definition first appeared somewhat obliquely, in or about 1960. General problems of so-called '
There was perhaps a more direct route available: the
Such a definition of a topos was eventually given five years later, around 1962, by Grothendieck and
The idea of a Grothendieck topology (also known as a site) has been characterised by
From pure category theory to categorical logic
The current definition of topos goes back to William Lawvere and Myles Tierney. While the timing follows closely on from that described above, as a matter of history, the attitude is different, and the definition is more inclusive. That is, there are examples of toposes that are not a Grothendieck topos. What is more, these may be of interest for a number of logical disciplines.
Lawvere and Tierney's definition picks out the central role in topos theory of the
Now sub-object classifiers can be found in sheaf theory. Still tautologously, though certainly more abstractly, for a topological space X there is a direct description of a sheaf on X that plays the role with respect to all sheaves of sets on X. Its set of sections over an open set U of X is just the set of open subsets of U. The space associated with a sheaf, for it, is more difficult to describe.
Lawvere and Tierney therefore formulated axioms for a topos that assumed a sub-object classifier, and some limit conditions (to make a
Once the idea of a connection with logic was formulated, there were several developments 'testing' the new theory:
- models of set theory corresponding to proofs of the independence of the axiom of choice and continuum hypothesis by Paul Cohen's method of forcing.
- recognition of the connection with existential quantifier and intuitionistic type theory.
- combining these, discussion of the intuitionistic theory of real numbers, by sheaf models.
Position of topos theory
There was some irony that in the pushing through of
The later work on étale cohomology has tended to suggest that the full, general topos theory isn't required. On the other hand, other sites are used, and the Grothendieck topos has taken its place within homological algebra.
The Lawvere programme was to write
It also produced a more accessible spin-off in
Summary
The topos concept arose in algebraic geometry, as a consequence of combining the concept of sheaf and closure under categorical operations. It plays a certain definite role in cohomology theories. A 'killer application' is étale cohomology.
The subsequent developments associated with logic are more interdisciplinary. They include examples drawing on homotopy theory (classifying toposes). They involve links between category theory and mathematical logic, and also (as a high-level, organisational discussion) between category theory and theoretical computer science based on type theory. Granted the general view of Saunders Mac Lane about ubiquity of concepts, this gives them a definite status. The use of toposes as unifying bridges in mathematics has been pioneered by Olivia Caramello in her 2017 book.[1]
References
- ISBN 9780198758914.