This essay revisits and develops ideas presented at a conference dedicated to Gilles Châtelet and in various seminars. Gilles was a singular personality, both a mathematician and a philosopher, and I do not think I betray his memory in writing that he was also a friend.1 This essay is written for people like Gilles, open to new languages and new ideas—needless to say, not so many people, and not especially mathematicians.
The following opening remarks are mostly a pretext to illustrate the thesis that mathematical concepts do not differ fundamentally from philosophical concepts, nor from the ideas of everyday life. Of course, this is not to suggest that mathematics and ordinary intuition are always in harmony; it is often the contrary, as one can see with, for example, the notion of infinity.2
Any student who attempts to solve an equation or a system of equations is confronted by two problems. Does a solution exist? And, if so, is it unique? In set theory, the existence of a solution is reflected in its belonging. A solution does not exist in the abstract; it either belongs to a set, or does not. In mathematics there is nothing to prevent one from conceiving an object that does not exist. The real questions then become: is the created object of interest? And what is its geometric meaning? To solve an equation that has no solution in a given set, one can add a formal solution to that set. Generally, this process is of absolutely no interest, but it is not always the case. Adding the root of to the real numbers in order to solve the equation is certainly not without interest since it allows us to find solutions for all polynomial equations.
But existence is not the theme of this paper. For some psychological reason, existence is privileged over uniqueness; intuitively, one tends to consider it more important. Yet in reality, uniqueness precedes existence, to paraphrase a well-known philosopher;3 it comes before, and this “before” has a precise meaning. In practice, also, uniqueness is often easier to prove than existence.4
Here I will consider uniqueness, or, rather, the concept of identity, and how it functions.5 I will therefore address the status of equality in mathematics and its variants, namely isomorphism, equivalence, and so on. This issue has until recently been totally ignored, but is of such importance that it may potentially lead us to question set theory itself.
To conclude these introductory remarks, an observation. Authors writing about mathematics for a readership beyond academic circles are faced with the predicament of an audience that possesses, at best, a very limited understanding of the true nature of mathematics, yet is seemingly allergic or, at worst, openly hostile to anything remotely connected with the field.6 This is changing. Slowly. Recently, a number of books has been published that attempt to make mathematics—or perhaps, in some cases, the author—more accessible to the public.7 One such book, Eloges des mathématiques (In Praise of Mathematics) by Alain Badiou, is perhaps worth noting. But, if Badiou defends the idea that mathematics is an integral part of culture, and especially of philosophical culture, it is only to better place mathematics at the service of highly questionable philosophical–political ideas.8
Sets and Functions/Categories and Functors
Among the educated, mathematics is often associated, if not identified, with the set theory that emerged in the second half of the nineteenth century from the work of Georg Cantor. Modern mathematics is developed within the framework of this theory, in the axiomatic of Zermelo–Fraenkel (or ZFC, C for the axiom of choice).
Over the past fifty years or so, this theoretical point of view has been supplanted in many fields of mathematics and physics by the category theory introduced by Samuel Eilenberg and Saunders Mac Lane and developed superbly by Alexander Grothendieck.9 The underlying idea of category theory is that the power of mathematical objects is only fully realized when they are placed in relation with other objects of the same type. This can be seen as part of a broad intellectual movement that emerged during the 1950s, of which the structuralism of Claude Lévi-Strauss and the linguistics of Noam Chomsky are also examples. The move from sets to categories can therefore claim the status of a conceptual revolution.
Yet, just as the theory of relativity is not a substitute for classical mechanics, the theory of categories is not a replacement for set theory. Instead, it enriches it. In practice, for example, the language of categories tends to use the axiomatic of sets.
A set is a collection of elements with no relations between them, such as the points of a geometric space. One says that belongs to and writes . The only relations between and are the equality or its negation .
Given two sets and , a map (also called a function) associates to any element a unique element . Given a map and a map , we can define a new map by setting . The family of all sets is the first example of a category. The category Set has sets for objects, and, given two sets and , the morphisms from to are the maps from to . Axiomatizing the properties of these maps produces the concept of a category.
As a set possesses elements, a category 𝒞 possesses objects but now, given two objects and in 𝒞, one has a set Hom𝒞, called the set of morphisms from to . An element of Hom𝒞 is represented by an arrow or . It is then said that is the source of , and its target. Warning: the objects , , etc. are not sets in general and, a fortiori, a morphism is not necessarily a map of sets. Morphism is a name given to the elements of the set Hom𝒞, nothing more.
If is another morphism whose source is the target of , one can compose (it is an axiom, not a property) and as a morphism :
,
and one assumes that composition is associative: for arrows one has
visualized by a commutative diagram
.
Therefore, the two methods for going from to —one passing through and the other passing through —give the same result. The commutativity of the diagram reflects the axiom of associativity of the morphisms.
Finally, for each object there is an arrow which functions as an identity map and which satisfies for any and for any .
The first example of a category is thus the category Set, of sets whose objects are the sets and where the morphisms are the maps between sets. But the set of all sets is not a set; Bertrand Russell showed that there exists no set of all sets, a variant of the Greek paradox, “All Cretans are liars.”
To escape from this paradox, one works in a given universe 𝒰 and gets the category 𝒰-Set of sets belonging to the universe 𝒰.10 What is a universe? It is a very big set, containing the set of natural integers, and is stable under a range of operations.
Any user of categories quickly faces inextricable problems if they do not use the concept of a universe, or other equivalent notions such as that of the inaccessible cardinal. But, do universes exist? The theory of universes was introduced in an appendix to a paper by Grothendieck and Jean-Louis Verdier, “Théorie des topos et cohomologie étale des schemas.”11 It also presented the fundamental axiom that any set belongs to some universe. Although signed “N. Bourbaki,” the style and objective of the appendix are at odds with what we are accustomed to from the Bourbaki group in this period. It would be interesting to know the exact role played by Grothendieck in the development of this text. The Bourbaki group, it should be noted, has published almost nothing during the last forty years. Grothendieck withdrew from the group in the early 1960s.
A very natural and intuitive category is the category Setf of finite sets. Much of primary school mathematics is devoted to it, or should be.
Undergraduate students in mathematics usually encounter two categories. The first is the category whose objects are finite dimensional vector spaces over the field of real numbers (or better, the field of complex numbers); here the morphisms are the linear maps. The second is the category Top whose objects are topological spaces, those on which there is a notion of neighborhood or limit. Here the morphisms are the continuous maps, namely, maps which respect limits.
For a category 𝒞 one gets a new category 𝒞op, the opposite category, by keeping the same objects but reversing the arrows. A morphism in 𝒞op is by definition nothing but a morphism in 𝒞.
The fundamental premise of category theory is that, beyond contemplating these objects, we must look at the relations among them, that is, their morphisms. What then is a morphism of categories? This is called a functor. Given two categories 𝒞 and 𝒞', a functor 𝒞 →𝒞' sends any object of 𝒞 to an object of 𝒞' and any morphism to a morphism , with the obvious conditions that commutes with the identities: and with the compositions . One can easily compose functors and derive the category 𝒰-Cat, living in a bigger universe. To remain in the universe 𝒰, one must restrict oneself to small categories, giving the 𝒰-category small-Cats.
The category Set has beneficial properties for other categories. Given a category 𝒞, it is possible to embed it in a larger category which will have, more or less, the same properties as Set. This is the category 𝒞^ of presheaves on 𝒞, namely, the category of functors from 𝒞op to Set. For that purpose, to any 𝒞, one associates the presheaf which, to any object of 𝒞, associates the set Hom𝒞. That this functor from 𝒞 to 𝒞^ keeps the properties of 𝒞 (one says that this functor is fully faithful) is the famous Yoneda lemma.
One of the major traps of the category Set is that it is not equivalent to its opposite category. Set theory is not symmetric, and this lack of symmetry is the source of many errors among students.
Let me now give a proof, one that is primarily of interest for those who have some mathematical background, without being experts.
The empty set is an initial object in the category Set, meaning that for any set , there exists one, and only one, map from to . Similarly, a set reduced to a single element, say pt, is terminal, meaning that for any set , there exists one, and only one, map from to pt. Assume that there exists a functor Set → Setop which is an equivalence of categories (putting aside the exact definition and for the moment leaving it to the reader’s intuition). Then and .12 We deduce
.
If one chooses for a set with two elements, then has two elements, as opposed to which has one element if is empty (the identity of the empty set), and no element otherwise.
Equality and Isomorphisms
In a set we have the notion of equality. Given and , either they are equal or unequal. Category theory is powerful because it has a much richer concept than that of equality, namely, that of isomorphism. One says that is an isomorphism if there exists such that the composition is and the composition is :
.
If there exists an isomorphism between and , one writes . Two isomorphic objects in a category will then share the same properties, without being identical.
A map between two finite sets and is injective if for any one has . It is surjective if, for any in , there exists in with . If it is both injective and surjective, a map is bijective.
It is easily proven that a map from to is an isomorphism if and only if it is bijective, and two finite sets are isomorphic (as sets) if and only if they have the same number of elements. For example, the sets and are isomorphic. Note that there are several, exactly six, isomorphisms from to , two of which are as follows:
.
The concept of an integer emerges; it is what remains after identifying isomorphic finite sets. It is nothing but a finite set, up to isomorphism.
The set of non-negative integers is the decategorification—ignoring the morphisms and instead identifying isomorphic objects—of the category Setf of finite sets.
The intervals and of the real line are isomorphic in the category Top of topological spaces. The continuous map , has for inverse the map , . Similarly, if a little more complicated, the real line is topologically isomorphic to the open interval .
On the other hand, the real plane is isomorphic to the real line as a set, not as a topological space. This is not an obvious result.
2-categories and 2-isomorphisms
Categories, in a given universe 𝒰, and the functors between categories define a new category, the category 𝒰-Cat. But there also exists a natural notion of morphisms of functors. For two functors:
𝒞 ⇉ 𝒞',
a morphism is the data for any 𝒞 of a morphism such that for any morphism in 𝒞, the diagram below commutes:
.
This shows that the category 𝒰-Cat is not just a category, it is a 2-category. Roughly speaking, a (strict) 2-category 𝒞 is a category (a 1-category) such that for any pair of objects of 𝒞, the set Hom𝒞 is the set of objects of a category. For any pair of objects of Hom𝒞, that is, for any pair of morphisms f, g : X ⇉ Y, one has a set of morphisms from to . Such a morphism of morphisms is visualized as follows:
.
It is thus natural to think of objects of categories as being 0-dimensional, morphisms as being 1-dimensional, and 2-morphisms as being 2-dimensional. Or one can think of sets as being 0-dimensional objects, or sets of points without relations, categories as being 1-dimensional objects, or points and arrows between two points, and 2-categories as being 2-dimensional objects. One can then imagine various -categories for , a 0-category being a set and a 1-category a usual category.
Recall that in a category 𝒞 a morphism is an isomorphism if there exists such that and . In a 2-category, one then has a weaker notion. One requires to be isomorphic to in the category Hom𝒞 and to be isomorphic to in the category Hom𝒞. Then, one says that and are equivalent or 2-isomorphic. The old isomorphisms become 1-isomorphisms and the equalities become the 0-isomorphisms.
In an -category, there are thus levels of isomorphisms, with 0-isomorphic meaning equal.
If two categories 𝒞 and 𝒞' are equivalent, i.e. 2-isomorphic in the 2-category 𝒰-Cat, then it is possible to translate the properties of 𝒞 into the formalism of 𝒞'. This process has sometimes spurred spectacular discoveries.
Among mathematicians, a popular pastime is finding equivalent categories which, at first glance, are extremely different. Mirror symmetry, which emerges from physics and, in particular, from string theory, is, in the formalism of Maxim Kontsevich, an equivalence of categories.
A basic example of equivalence of categories is as follows. Consider on one side the category of finite-dimensional vector spaces over the field of real numbers and, on the other side, the category 𝒜 whose objects are the integers and the morphisms from to , the matrices with coefficients in . There exists a natural functor from 𝒜 to which associates the space to the integer and which associates to a matrix a certain linear map from to . Much of a typical undergraduate algebra course is devoted to showing that this construction is functorial and that the obtained functor is an equivalence of categories.
From Local to Global: Gluing and Torsion
Mathematicians love to glue objects in a local context, switch to a global perspective, and, if the objects cannot be glued globally, calculate the obstructions which prevent it. Here the problem of the status of isomorphisms becomes fully relevant. These obstructions sometimes have a physical interpretation. A problem that at first glance appears to be purely theoretical is revealed to be, in fact, concrete.
A few examples follow.
The sphere is locally isomorphic—in the topological meaning—to the plane. In the case of the spherical earth, this isomorphism allows for the production of road maps. But no one has made a road map of the earth in its entirety. This is not by chance. They cannot be made. A topological obstruction prevents global isomorphisms between the sphere and the plane. But, forgetting the topology, as sets this obstruction disappears.
Consider a Moebius strip cut into three pieces , , and such that there are no 3-by-3 intersections.13
One can consider each as the copy of a rectangle . The Moebius strip is then obtained by gluing and , then and , and finally and where denotes the rectangle deduced from by exchanging up and down.
Now let us give an oriented angle . The rectangle now has the oriented angle . Consider three copies , , of . One glues and , then and , but one cannot glue with .
This example shows that the concept of isomorphism is essential for the gluing process; only isomorphic objects can be glued. This holds true in the category we are working in, in this case the oriented open subsets of the plane.
The notion of an oriented angle has no meaning on a Moebius strip. If we place such an angle on the strip and move it, after one turn it becomes the opposite angle! And of course, after two turns, the initial angle reappears. In this case, oriented angles, despite being locally perfectly defined, do not exist globally. The Moebius strip is not orientable.
The example of the Moebius strip is not exceptional or pathological. On the contrary, it is a prototype of situations encountered every day in mathematics. Although these oriented angles cannot be glued together, they belong to a globally well-defined mathematical object, the orientation sheaf.
Weak 2-categories and ∞-categories
In a usual category, a 1-category, the composition of morphisms is associative. If are composable morphisms, then . But when working in a 2-category, the morphisms no longer belong to sets but to categories, and as we have seen, the notion of equality can be weakened by that of isomorphism. We then obtain the concept of a weak 2-category in which composition is only associative up to isomorphism.
One can iterate these constructions and obtain the so-called ∞-categories. An example is the open subset Ω of the plane . The objects are the points of Ω, the morphisms are the continuous paths going from to , and the 2-morphisms are the homotopies of such paths, that is, the continuous deformations of the paths, etc. Composition of paths is associative and unital, but only up to homotopy. One can compose these homotopies up to homotopy, and so forth.
This example is emblematic of an ∞-groupoid; at each order the morphisms are isomorphic up to homotopy. If this property is only satisfied at order , one gets the notion of (∞, 1)-category. As a result of the work of Jacob Lurie and Bertrand Toën in particular, this theory is currently replacing classical theory.14
Towards the Revolution
The idea that the properties are satisfied only up to homotopy is close to attaining ascendancy in mathematical logic. Vladimir Voevodsky has initiated a project to replace existing set theory ZFC with a new theory in which, for the concept of equality, we would substitute that of equality up to homotopy. This is the univalency axiom.15 In this new setting, the ∞-categories would become the usual categories, but in a totally new set-theoretical context. This would be a major conceptual revolution. But this idea of homotopy can also be found at the origin of another, much more tangible, revolution that will eventually allow for the validity of proofs to be checked using computers.
Mathematicians may be currently experiencing the first tremors of an upheaval which will completely transform their way of thinking and working. A revolution that is comparable to that in which quantum physics has eclipsed classical physics.16 But we may yet need a few generations to see this particular revolution clearly.
Translated from the French by the author.