Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

February 1, 2007

In Memory of Max Kelly

Posted by John Baez

Max Kelly died on January 26, 2007.

Max Kelly initiated the study of category theory in Australia; he was the advisor of Ross Street, and he was the originator of enriched category theory and many other important ideas.

Here are a couple of posts by his friends on the category theory mailing list. The first one shows that even in his last days, he was busy developing cutting-edge mathematics — in fact, n-category theory! The others show how much people love him and his work.

Aurelio Carboni, Robert Walters, and Richard Wood wrote:

We would like to add to Bill and Eduardo’s letters also our feelings of deep sadness at Max’s death.

Max Kelly’s Last Work

In due course Max’s last work will appear in a four-author paper. While it is not usual for coauthors to divulge who contributed what to a paper the present circumstances seem to warrant such, as an appreciation of Max’s extraordinary talents and tenacity.

Carboni, Kelly, Walters, and Wood, [CKWW] have for some time been extending the Carboni and Walters notion of ‘cartesian bicategory’ to the general case of bicategories that are not necessarily locally ordered. A cartesian bicategory B ultimately has a tensor product, a pseudofunctor *:B×BB*: B \times B \to B that is naively associative and unitary. It is natural to ask whether such (B,*(B,* is a monoidal bicategory, in other words a one-object tricategory in the sense of [Coherence for Tricategories; Gordon, Power, and Street]=[GPS].

Early in 2005 [CKWW] had shown that if a bicategory AA with finite ‘products’ ×- \times - and 1, in the bilimit sense, has (A,×)(A,\times) a monoidal bicategory then a cartesian bicategory BB has (B,)(B,\star) monoidal. In the course of polishing the paper it came to Max’s attention that nobody had proved the

Theorem: A bicategory with finite products is monoidal.

Nobody doubted the truth of this. In fact, experts in higher dimensional category theory said that if it were not true then the definition of tricategory is wrong! But when you consider the rather large amount of data that must be assembled and the many equations (some merely implicit in words such as pseudonatural and modification) that must be verified from the apparently rather weak universal property of finite products in the bilimit sense, it seemed like a rather thankless task to write out the details. This was to Max a completely unacceptable state of affairs. If nobody doubts the statement then it must be possible to find a good proof!

Now Max had no intention of redrawing any of the diagrams in [GPS]. For the last few years Max, with little central vision left as a result of macular degeneration, has been doing Mathematics using an 8-fold magnification monitor. This allowed him to see only a few square centimetres of a page at a time. Many [GPS] diagrams consume an entire page. His proof, that we were privileged to receive in the last few weeks, has no diagrams (though doubtless we will incorporate a few in a publishable version of the paper).

Max attributed the key idea in his proof to Ross Street. Briefly, this is how it goes: For XX a finite family of objects in the bicategory AA, write A(X)A(X) for the bicategory of product cones over XX. Thus an object of A(X)A(X) consists of an object bb of AA, together with a family of arrows p i:bX ip_i:b \to X_i, such that for all aa, the induced functor A(a,b)ΠA(a,X i)A(a,b) \to \Pi A(a,X_i) is an equivalence of categories.

Lemma: !:A(X)1!:A(X) \to 1 is a biequivalence.

(Recall that to say B1B \to 1 is a biequivalence is to say that:

i) there is an object bb in BB

ii) for any objects cc and dd in BB, there is an arrow f:cdf:c \to d

iii) for any arrows g,h:cdg,h:c \to d in BB, there is a unique 2-cell ghg \Rightarrow h.

It follows that in a bicategory biequivalent to 1, every arrow is an equivalence and every 2-cell is an isomorphism.)

Next, Max observes that if AA has finite products then, for any BB, the bicategory [B,A][B,A] of pseudofunctors, pseudonatural transformations, and modifications also has finite products, given ‘pointwise’ by the products of AA. ×- \times - is an object of [A 2,A][A^2,A]. We can use (a×b)×c(a \times b) \times c and a×(b×c)a \times (b \times c) as names for objects in [A 3,A][A^3,A] and applying the Lemma to [A 3,A](a,b,c)[A^3,A](a,b,c) deduce the existence of the associator equivalence, pseudonatural in a,ba,b, and cc. The associator gives rise to two arrows (abbreviating somewhat) ((ab)c)da(b(cd))((ab)c)d \Rightarrow a(b(cd)) in [A 4,A](a,b,c,d)[A^4,A](a,b,c,d) and between these we have a unique invertible modification, the π\pi of [GPS]. The coherence of π\pi is chiefly the Stasheff non-abelian 4-cocycle condition (again see [GPS]) and for this we need only apply the Lemma to [A 5,A](a,b,c,d,e)[A^5,A](a,b,c,d,e) to see that the two modifications in question are equal. Of course the other data and equations are handled with similar appeals to the Lemma.

Max was not content to stop here. In his last few days he had been learning the rather subtle definition of symmetric monoidal bicategory and constructed the requisite braiding equivalence and syllepsis isomorphism for a bicategory with finite products. Everything follows from the universal property but Max has shown us how so that we can calculate with these things. His insights show us the way to deal with coherence issues arising from birepresentability generally and weak n-representability when the need arises. Max’s personal copy of [GPS] was autographed by Ross with the words “To Max Kelly, a master of coherence”. Yes, he was.

Aurelio Carboni, Robert Walters, and Richard Wood

André Joyal wrote:

Dear Max,

I feel deeply sad that you have left.
Now that you are gone, I realise how much you mean to me.
I regret not telling you that.
I wish to repair that by writing you this letter.
If I send it to Imogen and to your friends,
it will reach you in some way.

Your work has been a constant source of inspiration for me.
It combines beauty, rigor and depth.
It is fundamental, I use it every day.
It will last forever.
You were a great mathematician.

I also want to thank you for inviting me to Australia.
I did some of my best work there.
You were a great host.
I made many friends.

I wish we could meet again.
I will talk with you in my dreams.

Yours, André

Bill Lawvere wrote:

I am deeply saddened by the loss of Max. In our field he was a rock of reliability and a fountain of imagination. I will miss my lively, warm, kind, and sometimes mischievous friend.

Bill Lawvere

Eduardo Dubuc wrote:

I am deeply saddened by the death of Max Kelly. When I saw the subject in Ross posting, and before opening the message, my heart already felt anguish. I am more saddened with his loss that what I have been by the loss of any other member of our category theory community. In fact, I loved Max. I admired his courage, his independence of thought, his lack of hypocrisy, and I loved him simply by the way he was. I am proud that he considered me his friend. For me, our community is not the same without Max.

Eduardo J. Dubuc

Peter May wrote:

Max visited Saunders Mac Lane in Chicago in 1970-71, and conversations with him then were both great fun and greatly influenced my work. To quote from the preface to “The geometry of iterated loop spaces”, in which I introduced operads, “The notion of `operad’ defined in Section 1 arose simultaneously in Max Kelly’s categorical work on coherence, and conversations with him led to the present definition”. It is a pity that, due to ill-advised suggestions by a referee a little later, his January, 1972, preprint “On the operads of J.P. May” was not published until 2006! It contains many often rediscovered insights. See:

http://www.tac.mta.ca/tac/reprints/articles/13/tr13abs.html.

We also had many conversations about his upcoming role as chair in Sydney. In those days, before e-mail and even xerox, the problem of relative isolation down under was much on Max’s mind, and he thought that this was one good reason for following his heart and working to make Sydney a home for the development of the then underappreciated area of category theory that he so much loved. We are all in his debt for the marvelous way that he succeeded.

Peter May

Steve Vickers wrote:

I only met Max a couple of times, but I vividly remember a particular phrase of his. He would ask, “What’s the deal?”, and that was a prelude to cutting right through to the mathematical essence of an argument. The phrase has stayed with me ever since.

Steve Vickers

See also this webpage set up by Max’s son:

Posted at February 1, 2007 2:47 AM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1139

3 Comments & 0 Trackbacks

Re: In Memory of Max Kelly

It has been uplifting to see how the mathematical community, and the categorical community in particular, has reacted to the passing away of Max Kelly. It shows that many mathematicians do indeed have hearts and feelings, and when the occasion arrives are able to put down their pencils for a time, and reach out on a human level.

Posted by: anon on February 1, 2007 7:43 PM | Permalink | Reply to this

Re: In Memory of Max Kelly

This is indeed sad news.

As many of you know, Max had an enormous impact on the development of category theory. I think of his fundamental work on closed categories, enriched category theory, 2-category and bicategory theory, categorical coherence theory, factorization systems, regular and Barr exact categories, just to name a few subjects which spring to mind.

I hope it is widely recognized that he had a lot to do with the birth of operads and the closely allied notions of club and prop, and was an early champion of Joyal’s revolutionary work on species.

I think of Max’s work as a high standard of formal precision and great craftsmanship. He was unsparing in his standards of rigor, right generality, and polished, definitive elegance.

I got to know Max when I had a post-doc position at Macquarie (1993-1995). I owe him a huge intellectual debt, not only for his published work, but by learning from him in action, especially in the famous Australian Category Seminar. The high standards mentioned above were brought to bear on all who came in contact with him, and for me personally that had an incredibly bracing and invigorating effect, as it did on many others.

As noted by others, Max was a generous and charming host, fascinating and witty in conversation, opinionated, well-read, and ever one to keep you on your toes. He will be sorely missed.

Posted by: Todd Trimble on February 1, 2007 10:23 PM | Permalink | Reply to this

Re: In Memory of Max Kelly

Max Kelly’s son, Simon Kelly, has set up a webpage for his father.

Posted by: David Corfield on February 15, 2007 8:21 AM | Permalink | Reply to this

Post a New Comment