Skip to content →

Category: geometry

NaNoWriMo (2)

Two more days to go in the NaNoWriMo 2016 challenge. Alas, it was clear from the outset that I would fail, bad.

I didn’t have a sound battle plan. Hell, I didn’t even have a a clue which book to write…

But then, I may treat myself to a SloWriMo over the Christmas break.

For I’ve used this month to sketch the vaguest possible outlines of an imaginary book.

ulysses2

[section_title text=”An imaginary interview”]

Question: What is the title of your book?

I don’t know for sure, but my working title is Primes and other imaginary shapes.

Question: What will the cover-illustration look like?

At the moment I would settle for something like this:

Question: Does your book have an epigraph?

That’s an easy one. Whenever this works out, I’ll use for the opening quote:

[quote name=”David Spivak in ‘Presheaf, the cobbler'”]God willing, I will get through SGA 4 and Lurie’s book on Higher Topos Theory.
[/quote]

Question: Any particular reason?

Sure. That’s my ambition for this book, but perhaps I’ll save Lurie’s stuff for the sequel.

Question: As you know, Emily Riehl has a textbook out: Category Theory in Context. Here’s a recent tweet of hers:

Whence the question: does your book have a protagonist?

Well, I hope someone gave Emily the obvious reply: Yoneda! As you know, category theory is a whole bunch of definitions, resulting in one hell of a lemma.

But to your question, yes there’ll be a main character and her name is Alice.

I know, i know, an outrageous cliché, but at least I can guarantee there’ll be no surprise appearances of Bob.

These days, Alices don’t fall in rabbit holes, or crawl through looking-glasses. They just go online and encounter weird and wondrous creatures. I need her to be old enough to set up a Facebook and other social accounts.

My mental image of Alice is that of the archetypical STEM-girl

In her younger years she was a lot like Lewis Carroll’s Alice. In ten years time she’ll be a copy-cat Alice Butler, the heroine of Scarlett Thomas’ novel PopCo.

Question: What will be the opening scene of your book?

Alice will post a question on Lego-stackexchenge, and yes, to my surprise such a site really exists

(to be continued, perhaps)

Leave a Comment

Grothendieck topologies as functors to Top

Either this is horribly wrong, or it must be well-known. So I guess I’m asking for either a rebuttal or a reference.

Take a ‘smallish’ category $\mathbf{C}$. By this I mean that for every object $C$ the collection of all maps ending in $C$ must be a set. On this set, let’s call it $y(C)$ for Yoneda’s sake, we can define a pre-order $f \leq g$ if there is a commuting diagram

$\xymatrix{D \ar[rr]^f \ar[rd]_h & & C \\ & E \ar[ru]_g &}$

A sieve $S$ on $C$ is the same thing as a downset in $y(C)$ with respect to this pre-order. Composition with $h : D \rightarrow C$ gives a map $h : y(D) \rightarrow y(C)$ such that $h^{-1}(S)$ is a downset (or, sieve) in $y(D)$ whenever $S$ is a downset in $y(C)$.

A Grothendieck topology on $\mathbf{C}$ is a function $J$ which assigns to every object $C$ a collection $J(C)$ of sieves on $C$ satisfying:

  • $y(C) \in J(C)$,
  • if $S \in J(C)$ then $h^{-1}(S) \in J(D)$ for every morphism $h : D \rightarrow C$,
  • a sieve $R$ on $C$ is in $J(C)$ if there is a sieve $S \in J(C)$ such that $h^{-1}(R) \in J(D)$ for all morphisms $h : D \rightarrow C$ in $S$.

From this it follows for all downsets $S$ and $T$ in $y(C)$ that if $S \subset T$ and $S \in J(C)$ then $T \in J(C)$ and if both $S,T \in J(C)$ then also $S \cap T \in J(C)$.

In other words, the collection $\mathcal{J}_C = \{ \emptyset \} \cup J(C)$ defines an ordinary topology on $y(C)$, and the second condition implies that we have a covariant functor

$\mathbf{J} : \mathbf{C} \rightarrow \mathbf{Top}$ sending $C \mapsto (y(C),\mathcal{J}_C)$

That is, one can view a Grothendieck topology as a functor to ordinary topological spaces.

Furher, the topos of sheaves on the site $(\mathbf{C},J)$ seems to fit in nicely. To a sheaf

$A : \mathbf{C}^{op} \rightarrow \mathbf{Sets}$

one associates a functor of flabby sheaves $\mathcal{A}(C)$ on $(y(C),\mathcal{J}_C)$ having as stalks

$\mathcal{A}(C)_h = Im(A(h))$ for all points $h : D \rightarrow C$ in $y(C)$

and as sections on the open set $S \subset y(C)$ all functions of the form

$s_a : S \rightarrow \bigsqcup_{h \in S} \mathcal{A}(C)_h$ where $s_a(h)=A(h)(a)$ for some $a \in A(C)$.

2 Comments

le lemme de la Gare du Nord

Theorems have the tendency to pop into existence when you least expect them: taking a bath, during your sleep, dreaming away during a dull lecture, waiting for an airplane, bicycling, whatever.

One of the most famous (and useful) lemmas was dreamed up in the Parisian Gare du Nord station, during a conversation between Saunders Mac Lane (then in his mid 40ties) and a young Japanese mathematician, half his age, Nobuo Yoneda.

Here’s the story:

Yoneda’s story

In the announcement of the death of his friend Yoneda on the catlist, the computer scientist Yoshiki Kinoshita writes:

“Prof. Yoneda was born on 28 March, 1930. He studied mathematics in the University of Tokyo; in the last year of his studies he followed the seminar of Prof. Shokiti Iyanaga, where he became interested in algebraic topology.

Soon after that (or maybe when he was still an undergraduate), Prof. Samuel Eilenberg visited Japan, and Yoneda traveled around Japan with him, as a translator and guide. At that time, he was exposed to the Cartan-Eilenberg book, which was still in galley form.

Later, he got a Fulbright scholarship and he visited Princeton, to study with Eilenberg. Those days, the Yen was still very weak, so even the Fulbright money was not enough to support even a modest living in U.S. Therefore, he worked as a proofreader at a European publisher (Elsevier? NorthHolland? maybe American), to earn money for the study in U.S. Even 25 years later, he seemed to be proud of his professional skill as a proofreader, which he gained then.

When he arrived in Princeton, Eilenberg had moved (sabbatical?) to France (or maybe, Eilenberg left US just after Yoneda’s arrival). So, Yoneda went to France a year later.

At that time, Saunders Mac Lane was visiting category theorists, apparently to obtain information to write his book (or former survey), and he met the young Yoneda, among others.

The interview started in a Cafe at Gare du Nord, and went on and on, and was continued even in Yoneda’s train until its departure. The contents of this talk was later named by Mac Lane as Yoneda lemma. So, the famous Yoneda lemma was born in Gare du Nord.

This must have been a good memory for Yoneda; I heard him tell this story many times. I do not know whether Mac Lane managed to leave the train before departure!”

Mac Lane’s story

In his obituary of Yoneda, Saunders Mac Lane also recalls the story as I learned from this tweet by Emily Riehl:


Emily also quotes part of the article in the section on Yoneda’s lemma in her excellent book Categories in Context.

At the time, Mac Lane was in his late 80ties and it is not clear whether this obituary is based on his own recollections or on the catlist-posting by Kinoshita.

Here’s the full version:

“Yoneda enjoyed relating the story of the origins of this lemma, as follows.

He had guided Samuel Eilenberg during Eilenberg’s visit to Japan, and in the process learned homological algebra.

Soon Yoneda spent a year in France (apparently in 1954 and 1955).

There he met Saunders Mac Lane. Mac Lane, then visiting Paris, was anxious to learn from Yoneda, and commenced an interview with Yoneda in a café at Gare du Nord.

The interview was continued on Yoneda’s train until its departure. In its course, Mac Lane learned about the lemma and subsequently baptized it.”

When was the Yoneda lemma born?

Remains the problem of putting an approximate date on this interview.

We know that Mac Lane was in France in the summer and fall of 1954. Thanks to this page maintained by John Baez we know that Mac Lane gave two lectures at the Colloque Henri Poincaré in Paris at the Institut Henri Poincaré in oktober 1954.

We also know that Mac Lane was a guest at the summer Bourbaki meeting which was held from august 17 till august 31, 1954 in Murols.

In this photograph taken at the meeting we see from left to right: Roger Godement, Jean Dieudonné, André Weil, Saunders Mac Lane and Jean-Pierre Serre.

Sadly, the Bourbaki-report (la Tribu) of the Murols-congress is not yet in the public domain (the pre-1954 reports can be found here), so it is a bit difficult to get hold of a full list of people present, or what exactly was discussed at that meeting.

Still, in a footnote to a paper on Gerhard Hochschild we find that Gerhard Hochschild and John Tate were in Murols as “foreigh visitors”, Saunders Mac Lane attended as “efficiency expert” (more on this below), and … Iyanaga (Yoneda’s Ph.D. adviser) and Yoshida (probably they meant Kosaku Yosida) attended as “honorable foreign visitors”.

Both Japanese mathematicians were on their way to the ICM in Amsterdam, which was held from september 2nd till september 9th 1954. Incidentally, Iyanaga chaired the invited address given by Andre Weil on wednesday 8th, titled “Abstract vs. classical algebraic geometry”.

Presumably, Yoneda was taking a train at the gare du Nord on his way to meat his adviser Iyanaga, to or from the Bourbaki meeting in Murols. My best guess is that the Yoneda lemma was born in the gare du Nord mid august 1954.

Mac Lane, the efficiency expert

What was Mac Lane’s role at the Bourbaki Murols-congress?

According to him there had been a heated argument at a previous Bourbaki-congress on using the terminology “exact sequence”. Mac Lane took it upon himself to convince the Bourbaki-members to embrace the use of category theory, perhaps by explaining the brand new Yoneda-lemma.

He failed miserably. Here’s what Weil wrote to Chevalley about it:

“As you know, my honourable colleague Mac Lane supports the idea that every structural notion necessarily comes equipped with a notion of homomorphism. […] What on earth does he hope to deduce from this kind of considerations?”

Mac Lane attributes his failure to convince Bourbaki (or at least Weil) to “perhaps my command of the French language was inadequate to the task of persuasion”.

I find it striking that top-mathematicians such as Andre Weil failed to see the importance of morphisms between objects even as late as the mid 50ties.

7 Comments