categories: Bill Lawvere

categories: Bill Lawvere

[Anders Kock]

Bill Lawvere

As Bill’s first Ph.D. student, I feel that I should try to sketch the scientific atmosphere created by Bill  and others, and in which I grew up. I came to Chicago in 1963 as a Ph.D. student in algebraic topology, and on that occasion attendened lectures by Bill on  functorial semantics, and quantifiers as adjoints. I likewise recall lectures by Mac Lane on sheaf theory, where again adjointness was a pivot. Mac Lane had also brought Benabou to Chicago (or maybe that was not until 1967?). In my world picture, I felt that I had the privilege of seeing Category Theory, as a subject in its own right, come into being.

I left Chicago in 1964, without yet having my degree.  In 1966, Beno Eckmann had managed to organize a special category year at ETH in Zürich, where  also Bill was invited. So I went to Zürich to resume my Ph.D. studies, but now with Bill as formal advisor. I shared office with Bill in the house at Zehnderweg 13. This house was a lively place this year. Besides Bill, many other American category theorists  (Linton, Beck, Tierney, John Gray,...) were there , and also Lambek, and the local Fritz Ulmer, Michel André,...; Marta Bunge attended the seminars, she was at that time staying in the nearby Freiburg i.Br. (and her later thesis had Bill as a (co-)advisor).

The key scientific advance brought about by  the Zürich year was the idea  of triple, or monad (which also became crucial in much of my own later work). The Springer “Lecture Notes in Mathematics” vol 80 (1969)  (“Seminar on Triples and Categorical Homology Theory Theory”) records well the scientific significance of the “Zürich year”. Bill’s contribution to the volume has title “Ordinal sums and equational doctrines”.

I do not intend to comment further on Bill’s scientific work at that time, but rather describe how our lives, from 1966 and for a many years thereafter, intertwined.

As mentioned, Bill and I shared office in ETH in 1966 (perhaps better: Bill  shared his office with me). I would work there in the morning and until late in the afternoon, where Bill would come, and then for hours discuss mathematics with me, while smoking many Benson and Hedges cigarettes. He had a need to elaborate his ideas for an audience, like me.

  I think it was during this year that he met his later wife Fatima. Shortly  before I went to Zürich in 1966, I had met what was to become my wife, Hanne, in Aarhus, and therefore, while in Zürich, I travelled (by train) back to Aarhus several times.  Bill and Fatima had  left Zürich in December to go to Chicago. I also left Zürich (back to Aarhus) in the middle of December, got married on December 17, and a few weeks later, went to Chicago with Hanne to resume my studies with Bill.

Bill and Fatima had invited us to stay with them in a big house in Chicago which they had rented, so that is where Hanne and I spent our honeymoon. Our two families have been close friends since.  We met all four of us again in Halifax a few years later (we also brought our two small children along).

This brings the story back to mathematics. Dalhousie University in Halifax had organized a category year 1969-70, to be led by Bill; I had the privilege to participate.  Just as Zürich was the year of monads, the Halifax year was the year of elementary toposes, as initiated by Bill in 1969, and which was chrystallized and expanded in 1969-70 by him and Myles Tierney.

After returning to Aarhus in 1970,  I,   together with Gavin Wraith, used the notes that I had taken from Tierney’s talks in Halifax, as basis for a  seminar, resulting in our book Elementary Toposes (Aarhus Lecture Notes Series No. 30, September 1971). This book had some role in early dissemination of this elementary notion of topos, as did the collection edited by Bill , “Toposes, Algebraic Geometry and Logic” (Springer Lecture Notes in Mathematics 274, 1972), which was based on a conference in Halifax in early 1971.

I had by then already returned to Aarhus. Bill came as a visiting professor  to our math department in the academic year 1971-72.

Bill and I met later at conferences at various places. In particular, I should mention three “Open-House” events I was organizing in Aarhus, in May 1973, May 1978, and June 1983,  respectively. Because of the presence of Bill,  these events attracted several good category theorists. The meetings  were quite loosely organized, and each lasting a couple of weeks; at the first of these Open House events, Bill gave nine talks, between May 8 and May 29, mainly on topos theory. For the 1978 and 1983 Open Houses, published proceeding exist, entitled “Topos Theoretic Methods in Geometry”, and “Category Theoretic Methods in Geometry” ,  as Aarhus Various Publication Series no. 30 (1979) and no. 35 (1983), respectively. The 1978 event  included some accounts, by Bill and others, of some of the early  synthetic differential geometry, and in the proceedings is included his seminal 1967 Chicago  talk on categorical dynamics.  In the 1983 event, on Bill’s initiative, Alfred Frölicher participated, to present some of the early stages  in the development of the idea of the Cartesian closed category of Convenient Vector Spaces.

I shall not elaborate further on our later scientific and warm personal relationship, just mention that for several years, we made (transatlantic) phone calls  to each other on February 9, the birthday of Bill as well as of Hanne.



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

categories: Re: Bill Lawvere

[Ross Street]

Dear Anders

Thank you for that tribute and interesting history particularly poignant on  Bill's birthday.

On 9 Feb 2023, at 2:39 am, Anders Kock <kock@math.au.dk> wrote:

In my world picture, I felt that I had the privilege of seeing Category Theory, as a subject in its own right, come into being.

That reminds me, and perhaps I have mentioned this before?
Sammy Eilenberg told me once that each category theorist must have a special category on which they are expert.
I told that to John Gray who said: Ross, the time has come for that category to be Cat.
John's graduate course on category theory was based on that philosophy, heavily influenced by Bill's LaJolla paper.

Ross


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

categories: Re: Bill Lawvere

[Sabadini Nicoletta]

Dear colleagues, I am really really sad for Bill departure.
The scientific world, and category theory, lost a giant. His work was and will always be a continuous source of inspiration and motivation.
He was also a very special friend for my husband, Bob Walters and, more recently, for me.
Un forte abbraccio a Fatima and family.
Nicoletta Sabadini


________________________________
Da: Matias M <matias.menni@gmail.com>
Inviato: venerdì 27 gennaio 2023 14:36
A: Alberto Peruzzi <attipg2011@gmail.com>
Cc: categories@mta.ca <categories@mta.ca>
Oggetto: categories: Re: Bill Lawvere

Dear colleagues,

I met Bill only relatively recently at ct99 in Coimbra, so, for instance,  I
never saw him bringing up his political views in a public mathematical
discussion, but I have witnessed many times his generosity and efforts to
give deep and honest advice to colleagues of all ages, in that peculiar way
of his which was both self confident and yet devoid of arrogance.


He was also very patient. I have very fond memories of our conversations
during ct meetings, at the Bristol seminar he organized , at the México
workshops organized by Quico, and also in Arcadia with Fatima and Silvana.


Motivated by Bill’s interest on o-minimal structures we once attended an
important summer school on Model Theory. When the organizers realized Bill
was there they made a public announcement celebrating his presence and
invited him to chair a session.


We Category Theorists were indeed privileged  to share an epoch, or part of
one, with Bill’s profound intellect.


His results will influence our subject for many years. Still, I would like
to encourage younger generations to continue studying his work, including
his messages to this list, where they will find a treasure of remarkable
brightness, full of  fascinating ideas still to be pursued.


Yours,


Matías


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

categories: Re: Bill Lawvere

[Matias M]

Dear colleagues,

I met Bill only relatively recently at ct99 in Coimbra, so, for instance,  I
never saw him bringing up his political views in a public mathematical
discussion, but I have witnessed many times his generosity and efforts to
give deep and honest advice to colleagues of all ages, in that peculiar way
of his which was both self confident and yet devoid of arrogance.


He was also very patient. I have very fond memories of our conversations
during ct meetings, at the Bristol seminar he organized , at the México
workshops organized by Quico, and also in Arcadia with Fatima and Silvana.


Motivated by Bill’s interest on o-minimal structures we once attended an
important summer school on Model Theory. When the organizers realized Bill
was there they made a public announcement celebrating his presence and
invited him to chair a session.


We Category Theorists were indeed privileged  to share an epoch, or part of
one, with Bill’s profound intellect.


His results will influence our subject for many years. Still, I would like
to encourage younger generations to continue studying his work, including
his messages to this list, where they will find a treasure of remarkable
brightness, full of  fascinating ideas still to be pursued.


Yours,


Matías


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

categories: Re: Bill Lawvere

[Rosenthal, Kimmo]

I am incredibly saddened at the passing of Bill Lawvere. In my first term
of graduate school in 1974, I found myself in Bill’s Algebra class and,
looking back, it was the single most fortuitous and defining moment in my
career. I was enthralled and captivated by a new view of mathematics,
learning, and scholarship that opened my eyes and would serve as a
fingerpost directing me towards my future path. Whatever modest successes I
may have had as a mathematician I owe to Bill’s teachings, example,  and
mentorship. Others will speak more astutely than I ever could to his many,
many contributions and accomplishments; what I will continue to cherish is
his kind friendship and also his unmatched generosity of spirit. As I now
reflect on Bill, what comes to mind is the definition of the word *mensch*
- a person of integrity and honor, of kindness and consideration, someone
to admire and emulate. Kimmo Rosenthal

On Tue, Jan 24, 2023 at 4:51 PM Alberto Peruzzi <attipg2011@gmail.com>
wrote:

> Dear all,
>
> a very sad news: Lawvere’s family asked me to provide you with the message
> below.
> Alberto Peruzzi
>
>
>
>
> Francis William Lawvere (known to most as Bill) died peacefully yesterday
> (January 23, 2023) at sunrise, surrounded by family at his home in Chapel
> Hill, North Carolina after a long period of illness. He was born in Muncie,
> Indiana on Feb. 9, 1937 and has family, friends and colleagues around the
> world. No services will be held at this time, however several memorial
> celebrations of life and scientific work are anticipated.
>
> Correspondence with family can be sent to his wife Fatima at
> fatimaylawvere@gmail.com <mailto:fatimaylawvere@gmail.com> or to
> 111 East Winmore Ave., Chapel Hill, NC 27516 USA.
>

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]