Re: Bénabou

[Vaughan Pratt <pratt@cs.stanford.edu>]

[-- Attachment #1: Type: text/plain, Size: 4668 bytes --]

Dear Francis,

I greatly appreciate your input to the categories list regarding the contributions of Jean Bénabou from half a century ago.  I especially appreciated your "I downloaded a copy of these old texts via “WeTransfer” and they will remain available during one week via the link https://we.tl/t-AwGwZkYcCq<https://protect-au.mimecast.com/s/6FM2CQnM1WfWDmrkixnsWM?domain=we.tl>."

I did so and now have them in four folders.  However they are all in French, whereas your three excellent volumes are in English.

Is anyone volunteering to translate Bénabou's texts into English?

And on the matter of decidability, speaking as a complexiy theorist, is there a short summary of the essential points?

Vaughan Pratt

On Sun, Jan 21, 2024 at 1:34 PM Francis Borceux <francis.borceux@uclouvain.be<mailto:francis.borceux@uclouvain.be>> wrote:


I had the privilege to have regular and often close contacts with Jean Bénabou during more than 50 years ; I learned much from him.



It is a matter of fact that Jean did like very much lecturing, and he was doing that marvelously well … but he was quite reluctant to « freeze » a topic by writing it down.



Early in the seventies, Jean gave several series of lectures at the University of Louvain: on monads (called “triples” in those days), multiplicative categories, distributors and toposes. Notes on these lectures were written down by some of the auditors and Jean accepted to have them published in the preprints of the mathematics department. I downloaded a copy of these old texts via “WeTransfer” and they will remain available during one week via the link https://we.tl/t-AwGwZkYcCq<https://protect-au.mimecast.com/s/6FM2CQnM1WfWDmrkixnsWM?domain=we.tl>.



Some years later, Jean also gave a series of lectures on fibred categories in Louvain-la-Neuve. As already mentioned by others, Jean-Roger Roisin wrote from these lectures a beautiful set of notes. These notes were never published because Jean, through the years, kept considering that he could still improve and complete his results before their publication.



When I wrote the three volumes of my “Handbook of categorical algebra”, I wanted of course to include a chapter on fibred or indexed categories: I chose fibred categories (Chapter 8 of Volume 2). Before sending the chapter to the editor, I sent a copy of it to Jean, asking for his comments, but making clear that I was not at all asking permission to publish this chapter, and that I would be the only one (with the referees) to decide of the final form of the text and take the responsibility of it. I definitely wanted to avoid a new endless story, in the vein of what was happening to the Jean-Roger notes.



I remember the upset answer that Jean gave me; he was focusing on three points.

  1.  I do not appreciate that you include a chapter containing many results of mine before I myself publish them.
  2.  At least, it is a relief to notice that your text reflects faithfully my own views on this topic.
  3.  Thank you for putting emphasize on the notion of decidability, whose importance does not seem to have been recognized by the categorical community.
I am thus confident that this chapter reflects quite faithfully several ideas of Jean, at the period where my book was written.

Francis

Francis Borceux
6 rue François
1490 Court-Saint-Etienne
Belgique
+32478390328 (portable)
+3210614205 (fixe)
francis.borceux@uclouvain.be<mailto:francis.borceux@uclouvain.be>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://protect-au.mimecast.com/s/K0WiCRONg6sLK8BvTNCqF1?domain=outlook.office365.com>   |   Leave group<https://protect-au.mimecast.com/s/IGCiCVARmOHA419xiyH3u8?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://protect-au.mimecast.com/s/5_nqCWLVn6iBpvG5TnY827?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 12585 bytes --]