It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
I am heartbroken about Phil's passing. Phil was my friend and a very important mentor to me. Phil was also one of the nicest persons I have ever met. I met Phil when I was an undergraduate student at the University of Ottawa in my first year, I took group theory from him. After that I took various other classes from him like linear algebra and history of mathematics, which was a very fun class! Near the end of undergrad when I deciding what area of research to study, Phil was the one who first mentioned category theory to me. Afterwards, through all of my grad school, Phil was still a mentor to me: always supporting my research and listening to my ideas. But more importantly, Phil became a friend. We would often catch up at the FMCS conference or whenever I was passing through Ottawa again. We also both visited Edinburgh at the same time, and often went on hikes together then. Even this past year, Phil was still encouraging me. I will miss Phil truly. Thank you for all the support, encourage, guidance, mentorship, friendship, and kindness you have shown me over the years. May you rest in peace. — JS PL On Dec 18, 2023, at 11:10 PM, Richard Blute <rblute@uottawa.ca> wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry
Dear All, Phil's death is a great loss to us all. He and Marcia were good friends of myself and my wife. We last saw them in Llandudno, North Wales when they were on holiday. a few years ago. I had hoped to show Phil more of the area, but that is not to be. I will miss his chats on Skype. Tim Porter On Tue, 19 Dec 2023 at 13:45, JS Lemay <js.lemay@mq.edu.au<mailto:js.lemay@mq.edu.au>> wrote: I am heartbroken about Phil's passing. Phil was my friend and a very important mentor to me. Phil was also one of the nicest persons I have ever met. I met Phil when I was an undergraduate student at the University of Ottawa in my first year, I took group theory from him. After that I took various other classes from him like linear algebra and history of mathematics, which was a very fun class! Near the end of undergrad when I deciding what area of research to study, Phil was the one who first mentioned category theory to me. Afterwards, through all of my grad school, Phil was still a mentor to me: always supporting my research and listening to my ideas. But more importantly, Phil became a friend. We would often catch up at the FMCS conference or whenever I was passing through Ottawa again. We also both visited Edinburgh at the same time, and often went on hikes together then. Even this past year, Phil was still encouraging me. I will miss Phil truly. Thank you for all the support, encourage, guidance, mentorship, friendship, and kindness you have shown me over the years. May you rest in peace. — JS PL On Dec 18, 2023, at 11:10 PM, Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
It is a great loss. I remember him well. Very deep thinker and gentle person... Sergei Soloviev Le Mardi, Décembre 19, 2023 15:02 CET, Timothy Porter <t.porter.maths@gmail.com> a écrit:
Dear All,
Phil's death is a great loss to us all. He and Marcia were good friends of myself and my wife. We last saw them in Llandudno, North Wales when they were on holiday. a few years ago. I had hoped to show Phil more of the area, but that is not to be.
I will miss his chats on Skype.
Tim Porter
On Tue, 19 Dec 2023 at 13:45, JS Lemay <js.lemay@mq.edu.au<mailto:js.lemay@mq.edu.au>> wrote:
I am heartbroken about Phil's passing. Phil was my friend and a very important mentor to me. Phil was also one of the nicest persons I have ever met.
I met Phil when I was an undergraduate student at the University of Ottawa in my first year, I took group theory from him. After that I took various other classes from him like linear algebra and history of mathematics, which was a very fun class! Near the end of undergrad when I deciding what area of research to study, Phil was the one who first mentioned category theory to me. Afterwards, through all of my grad school, Phil was still a mentor to me: always supporting my research and listening to my ideas. But more importantly, Phil became a friend. We would often catch up at the FMCS conference or whenever I was passing through Ottawa again. We also both visited Edinburgh at the same time, and often went on hikes together then. Even this past year, Phil was still encouraging me.
I will miss Phil truly. Thank you for all the support, encourage, guidance, mentorship, friendship, and kindness you have shown me over the years. May you rest in peace.
— JS PL
On Dec 18, 2023, at 11:10 PM, Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> wrote:
It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer.
Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory.
Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul.
Rick Blute Robin Cockett Simon Henry
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 | Leave group | Learn more about Microsoft 365 Groups
I am truly sorry to hear this dreadful news. Phil and Marcia have been friends for nearly 40 years. I was never a category theorist myself, but I did use it often in my work on theoretical computer science. Phil was my guide through and mentor. We had been out of touch for some years because of the pandemic, but we reconnected this year as were both having surgery at around the same time. I enjoyed his fun spirit and his insights into categorical logic and type theory. RIP Phil, we all miss you. Prakash Prakash Panangaden School of Computer Science McGill University Get Outlook for iOS ________________________________ From: Richard Blute <rblute@uottawa.ca> Sent: Monday, December 18, 2023 11:10:17 PM To: Categories mailing list <categories@mq.edu.au> Subject: Phil Scott It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
I have known Phil for so many years, I have no idea how long I have known him for. He and Marcia would often stay in Edinburgh and Hephzi and I would get together with them. In recent years, it must have started during the pandemic, we got into the habit of a monthly Zoom call. An hour would pass before we knew it - or at least before I did. Phil fought his illness with calm rationality and great strength. He did not give up. I have lost a dear friend. Gordon Plotkin On 19 Dec 2023, at 06:53, Prakash Panangaden <prakash@cs.mcgill.ca> wrote: This email was sent to you by someone outside the University. You should only click on links or attachments if you are certain that the email is genuine and the content is safe. I am truly sorry to hear this dreadful news. Phil and Marcia have been friends for nearly 40 years. I was never a category theorist myself, but I did use it often in my work on theoretical computer science. Phil was my guide through and mentor. We had been out of touch for some years because of the pandemic, but we reconnected this year as were both having surgery at around the same time. I enjoyed his fun spirit and his insights into categorical logic and type theory. RIP Phil, we all miss you. Prakash Prakash Panangaden School of Computer Science McGill University Get Outlook for iOS ________________________________ From: Richard Blute <rblute@uottawa.ca> Sent: Monday, December 18, 2023 11:10:17 PM To: Categories mailing list <categories@mq.edu.au> Subject: Phil Scott It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
I was very saddened to hear of Phil's death. I met him through Jim Lambek (he may have been Jim's postdoc) and then he went to Ottawa where I met him frequently. There was to have been a book titled Programs, Grammars, Arguments with Jim, Phil, and (maybe me), but I guess it will not happen. A version is available on my web. RIP, Phil Michael ________________________________ From: Prakash Panangaden <prakash@cs.mcgill.ca> Sent: Tuesday, December 19, 2023 9:51 AM To: Richard Blute <rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au> Subject: Re: Phil Scott I am truly sorry to hear this dreadful news. Phil and Marcia have been friends for nearly 40 years. I was never a category theorist myself, but I did use it often in my work on theoretical computer science. Phil was my guide through and mentor. We had been out of touch for some years because of the pandemic, but we reconnected this year as were both having surgery at around the same time. I enjoyed his fun spirit and his insights into categorical logic and type theory. RIP Phil, we all miss you. Prakash Prakash Panangaden School of Computer Science McGill University Get Outlook for iOS ________________________________ From: Richard Blute <rblute@uottawa.ca> Sent: Monday, December 18, 2023 11:10:17 PM To: Categories mailing list <categories@mq.edu.au> Subject: Phil Scott It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
A bit of a shock. Been good friends with Phil ever since he called Jim at home and I picked up the phone, around 2000. Whenever in UK he always visited Oxford at the very least for a curry with us. The last time Phil was here, just before pandemic, was at my daughter's b'day dinner, at a curry house of course. ________________________________ From: Michael Barr, Prof. <barr.michael@mcgill.ca> Sent: 19 December 2023 15:48 To: Prakash Panangaden <prakash@cs.mcgill.ca>; Richard Blute <rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au> Subject: [EXT] Re: Phil Scott CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe. I was very saddened to hear of Phil's death. I met him through Jim Lambek (he may have been Jim's postdoc) and then he went to Ottawa where I met him frequently. There was to have been a book titled Programs, Grammars, Arguments with Jim, Phil, and (maybe me), but I guess it will not happen. A version is available on my web. RIP, Phil Michael ________________________________ From: Prakash Panangaden <prakash@cs.mcgill.ca> Sent: Tuesday, December 19, 2023 9:51 AM To: Richard Blute <rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au> Subject: Re: Phil Scott I am truly sorry to hear this dreadful news. Phil and Marcia have been friends for nearly 40 years. I was never a category theorist myself, but I did use it often in my work on theoretical computer science. Phil was my guide through and mentor. We had been out of touch for some years because of the pandemic, but we reconnected this year as were both having surgery at around the same time. I enjoyed his fun spirit and his insights into categorical logic and type theory. RIP Phil, we all miss you. Prakash Prakash Panangaden School of Computer Science McGill University Get Outlook for iOS ________________________________ From: Richard Blute <rblute@uottawa.ca> Sent: Monday, December 18, 2023 11:10:17 PM To: Categories mailing list <categories@mq.edu.au> Subject: Phil Scott It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
Phil's passing is such sad news. I got to know him better during his visits to Edinburgh in recent years, and he was always so kind, gentle and encouraging - and humble too, despite all his achievements and accomplishments. Tom On 19/12/2023 16:03, Bob Coecke wrote: This email was sent to you by someone outside the University. You should only click on links or attachments if you are certain that the email is genuine and the content is safe. A bit of a shock. Been good friends with Phil ever since he called Jim at home and I picked up the phone, around 2000. Whenever in UK he always visited Oxford at the very least for a curry with us. The last time Phil was here, just before pandemic, was at my daughter's b'day dinner, at a curry house of course. ________________________________ From: Michael Barr, Prof. <barr.michael@mcgill.ca><mailto:barr.michael@mcgill.ca> Sent: 19 December 2023 15:48 To: Prakash Panangaden <prakash@cs.mcgill.ca><mailto:prakash@cs.mcgill.ca>; Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au><mailto:categories@mq.edu.au> Subject: [EXT] Re: Phil Scott CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe. I was very saddened to hear of Phil's death. I met him through Jim Lambek (he may have been Jim's postdoc) and then he went to Ottawa where I met him frequently. There was to have been a book titled Programs, Grammars, Arguments with Jim, Phil, and (maybe me), but I guess it will not happen. A version is available on my web. RIP, Phil Michael ________________________________ From: Prakash Panangaden <prakash@cs.mcgill.ca><mailto:prakash@cs.mcgill.ca> Sent: Tuesday, December 19, 2023 9:51 AM To: Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au><mailto:categories@mq.edu.au> Subject: Re: Phil Scott I am truly sorry to hear this dreadful news. Phil and Marcia have been friends for nearly 40 years. I was never a category theorist myself, but I did use it often in my work on theoretical computer science. Phil was my guide through and mentor. We had been out of touch for some years because of the pandemic, but we reconnected this year as were both having surgery at around the same time. I enjoyed his fun spirit and his insights into categorical logic and type theory. RIP Phil, we all miss you. Prakash Prakash Panangaden School of Computer Science McGill University Get Outlook for iOS ________________________________ From: Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca> Sent: Monday, December 18, 2023 11:10:17 PM To: Categories mailing list <categories@mq.edu.au><mailto:categories@mq.edu.au> Subject: Phil Scott It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
such sad and sudden (for me) news! I didn't know he was battling cancer. Phil was my maths supervisor when I arrived from Iran to Ottawa all those years ago. He helped me find my way around, introduced me to people, even got me an office and taught me how to use LaTex! It feels like he has always been around! We met at conferences and whenever he passed through where I was. Always nice, always supportive, and ready to explain a complicated piece of maths! Last time I saw him was in the Gandy memorial workshop at Wolfson college Oxford. ... will be enormously missed. ________________________________ From: Tom Leinster <Tom.Leinster@ed.ac.uk> Sent: Tuesday, December 19, 2023 5:08 PM To: Richard Blute <rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au> Subject: Re: Phil Scott ⚠ Caution: External sender Phil's passing is such sad news. I got to know him better during his visits to Edinburgh in recent years, and he was always so kind, gentle and encouraging - and humble too, despite all his achievements and accomplishments. Tom On 19/12/2023 16:03, Bob Coecke wrote: This email was sent to you by someone outside the University. You should only click on links or attachments if you are certain that the email is genuine and the content is safe. A bit of a shock. Been good friends with Phil ever since he called Jim at home and I picked up the phone, around 2000. Whenever in UK he always visited Oxford at the very least for a curry with us. The last time Phil was here, just before pandemic, was at my daughter's b'day dinner, at a curry house of course. ________________________________ From: Michael Barr, Prof. <barr.michael@mcgill.ca><mailto:barr.michael@mcgill.ca> Sent: 19 December 2023 15:48 To: Prakash Panangaden <prakash@cs.mcgill.ca><mailto:prakash@cs.mcgill.ca>; Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au><mailto:categories@mq.edu.au> Subject: [EXT] Re: Phil Scott CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe. I was very saddened to hear of Phil's death. I met him through Jim Lambek (he may have been Jim's postdoc) and then he went to Ottawa where I met him frequently. There was to have been a book titled Programs, Grammars, Arguments with Jim, Phil, and (maybe me), but I guess it will not happen. A version is available on my web. RIP, Phil Michael ________________________________ From: Prakash Panangaden <prakash@cs.mcgill.ca><mailto:prakash@cs.mcgill.ca> Sent: Tuesday, December 19, 2023 9:51 AM To: Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au><mailto:categories@mq.edu.au> Subject: Re: Phil Scott I am truly sorry to hear this dreadful news. Phil and Marcia have been friends for nearly 40 years. I was never a category theorist myself, but I did use it often in my work on theoretical computer science. Phil was my guide through and mentor. We had been out of touch for some years because of the pandemic, but we reconnected this year as were both having surgery at around the same time. I enjoyed his fun spirit and his insights into categorical logic and type theory. RIP Phil, we all miss you. Prakash Prakash Panangaden School of Computer Science McGill University Get Outlook for iOS ________________________________ From: Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca> Sent: Monday, December 18, 2023 11:10:17 PM To: Categories mailing list <categories@mq.edu.au><mailto:categories@mq.edu.au> Subject: Phil Scott It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
It's somber and sobering that Phil passed away. As I got to know him over the last couple of winters he spent in Edinburgh, he was very generous with his time, never assuming, and always gentle and cheerful. He made me feel like a proper category theorist and taught me many things. One of them was that he had found these wonderful boots at his favourite store when we went on a hike with the kids. I remember thinking they looked a bit dull, but know better now I'm wearing that brand shoes every day! Our thoughts are with you Marcia - you'll be remembered Phil. Chris ________________________________________ From: Sadrzadeh, Mehrnoosh <m.sadrzadeh@ucl.ac.uk> Sent: 19 December 2023 17:42 To: Tom Leinster; Richard Blute; Categories mailing list Subject: Re: Phil Scott This email was sent to you by someone outside the University. You should only click on links or attachments if you are certain that the email is genuine and the content is safe. such sad and sudden (for me) news! I didn't know he was battling cancer. Phil was my maths supervisor when I arrived from Iran to Ottawa all those years ago. He helped me find my way around, introduced me to people, even got me an office and taught me how to use LaTex! It feels like he has always been around! We met at conferences and whenever he passed through where I was. Always nice, always supportive, and ready to explain a complicated piece of maths! Last time I saw him was in the Gandy memorial workshop at Wolfson college Oxford. ... will be enormously missed. ________________________________ From: Tom Leinster <Tom.Leinster@ed.ac.uk> Sent: Tuesday, December 19, 2023 5:08 PM To: Richard Blute <rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au> Subject: Re: Phil Scott ⚠ Caution: External sender Phil's passing is such sad news. I got to know him better during his visits to Edinburgh in recent years, and he was always so kind, gentle and encouraging - and humble too, despite all his achievements and accomplishments. Tom On 19/12/2023 16:03, Bob Coecke wrote: This email was sent to you by someone outside the University. You should only click on links or attachments if you are certain that the email is genuine and the content is safe. A bit of a shock. Been good friends with Phil ever since he called Jim at home and I picked up the phone, around 2000. Whenever in UK he always visited Oxford at the very least for a curry with us. The last time Phil was here, just before pandemic, was at my daughter's b'day dinner, at a curry house of course. ________________________________ From: Michael Barr, Prof. <barr.michael@mcgill.ca><mailto:barr.michael@mcgill.ca> Sent: 19 December 2023 15:48 To: Prakash Panangaden <prakash@cs.mcgill.ca><mailto:prakash@cs.mcgill.ca>; Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au><mailto:categories@mq.edu.au> Subject: [EXT] Re: Phil Scott CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe. I was very saddened to hear of Phil's death. I met him through Jim Lambek (he may have been Jim's postdoc) and then he went to Ottawa where I met him frequently. There was to have been a book titled Programs, Grammars, Arguments with Jim, Phil, and (maybe me), but I guess it will not happen. A version is available on my web. RIP, Phil Michael ________________________________ From: Prakash Panangaden <prakash@cs.mcgill.ca><mailto:prakash@cs.mcgill.ca> Sent: Tuesday, December 19, 2023 9:51 AM To: Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au><mailto:categories@mq.edu.au> Subject: Re: Phil Scott I am truly sorry to hear this dreadful news. Phil and Marcia have been friends for nearly 40 years. I was never a category theorist myself, but I did use it often in my work on theoretical computer science. Phil was my guide through and mentor. We had been out of touch for some years because of the pandemic, but we reconnected this year as were both having surgery at around the same time. I enjoyed his fun spirit and his insights into categorical logic and type theory. RIP Phil, we all miss you. Prakash Prakash Panangaden School of Computer Science McGill University Get Outlook for iOS ________________________________ From: Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca> Sent: Monday, December 18, 2023 11:10:17 PM To: Categories mailing list <categories@mq.edu.au><mailto:categories@mq.edu.au> Subject: Phil Scott It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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 | Leave group | Learn more about Microsoft 365 Groups The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
I've only known Phil since last year, when I arrived in Ottawa for my current postdoc with Rick, Simon and Phil. We had the occasion to chat via zoom a lot since, as he was helping me with the delivery of an undergrad logic course. I was particularly struck by the generosity with which he shared his time, the contagious enthusiasm with which he was talking about logic, and how considerate he was towards the students (even if they weren't even his!). I unfortunately never had the chance of meeting in person. Last time I chatted via Zoom must have been in the summer, when he said that we'd "all soon have a big party together". That was the enthusiasm and willpower speaking. Now I can't help but feel like we've all been deprived of a great party indeed. Le mar. 19 déc. 2023 à 09:57, Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> a écrit : It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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 | Leave group | Learn more about Microsoft 365 Groups 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
I first got to know Phil Scott when I took his undergraduate course “Introduction to Linear Algebra” during my first session at University. It was Phil and his course that inspired me to change programs and study abstract mathematics. He also got me interested in mathematical logic and I went on to complete two Master’s degrees under his supervision. He had such a great passion for mathematical logic and theoretical computer science that I feel his passing will be a great loss to the mathematical community. I always appreciated his enthusiasm for the subject and his willingness to answer questions. We lost touch this past year and I am greatly saddened that I won’t have the opportunity to catch up with him again and have further lengthy discussions about mathematical topics. Yan Steimle From: Sacha Ikonicoff <ikonicoff@gmail.com> Date: Tuesday, December 19, 2023 at 12:13 PM To: Richard Blute <rblute@uottawa.ca> Cc: Categories mailing list <categories@mq.edu.au> Subject: Re: Phil Scott Attention : courriel externe | external email I've only known Phil since last year, when I arrived in Ottawa for my current postdoc with Rick, Simon and Phil. We had the occasion to chat via zoom a lot since, as he was helping me with the delivery of an undergrad logic course. I was particularly struck by the generosity with which he shared his time, the contagious enthusiasm with which he was talking about logic, and how considerate he was towards the students (even if they weren't even his!). I unfortunately never had the chance of meeting in person. Last time I chatted via Zoom must have been in the summer, when he said that we'd "all soon have a big party together". That was the enthusiasm and willpower speaking. Now I can't help but feel like we've all been deprived of a great party indeed. Le mar. 19 déc. 2023 à 09:57, Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> a écrit : It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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 | Leave group | Learn more about Microsoft 365 Groups 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 | Leave group | Learn more about Microsoft 365 Groups 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
Phil Scott's book with Jim Lambeck encouraged my interest in categorical logics. I'm still learning thanks in large part to them. Mike Healy ________________________________ From: Yan Steimle <ystei087@uottawa.ca> Sent: Tuesday, December 19, 2023 9:45 AM To: Richard Blute <rblute@uottawa.ca> Cc: Categories mailing list <categories@mq.edu.au> Subject: Re: Phil Scott You don't often get email from ystei087@uottawa.ca. Learn why this is important I first got to know Phil Scott when I took his undergraduate course “Introduction to Linear Algebra” during my first session at University. It was Phil and his course that inspired me to change programs and study abstract mathematics. He also got me interested in mathematical logic and I went on to complete two Master’s degrees under his supervision. He had such a great passion for mathematical logic and theoretical computer science that I feel his passing will be a great loss to the mathematical community. I always appreciated his enthusiasm for the subject and his willingness to answer questions. We lost touch this past year and I am greatly saddened that I won’t have the opportunity to catch up with him again and have further lengthy discussions about mathematical topics. Yan Steimle From: Sacha Ikonicoff <ikonicoff@gmail.com> Date: Tuesday, December 19, 2023 at 12:13 PM To: Richard Blute <rblute@uottawa.ca> Cc: Categories mailing list <categories@mq.edu.au> Subject: Re: Phil Scott Attention : courriel externe | external email I've only known Phil since last year, when I arrived in Ottawa for my current postdoc with Rick, Simon and Phil. We had the occasion to chat via zoom a lot since, as he was helping me with the delivery of an undergrad logic course. I was particularly struck by the generosity with which he shared his time, the contagious enthusiasm with which he was talking about logic, and how considerate he was towards the students (even if they weren't even his!). I unfortunately never had the chance of meeting in person. Last time I chatted via Zoom must have been in the summer, when he said that we'd "all soon have a big party together". That was the enthusiasm and willpower speaking. Now I can't help but feel like we've all been deprived of a great party indeed. Le mar. 19 déc. 2023 à 09:57, Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> a écrit : It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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 | Leave group | Learn more about Microsoft 365 Groups 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 | Leave group | Learn more about Microsoft 365 Groups 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
Very sad news about Phil. I heard recently from mutual friends that he was ill, but I didn't realise it was so serious. Susan and I got to know him and Marcia when we lived in Canada in the 80s (a great time for categorical logic) and we have been friends ever since. Our paths didn't cross recently and now it's too late to catch up. :-( Andy On 19 Dec 2023, at 04:10, Richard Blute <rblute@uottawa.ca> wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
I just wanted to add my name to the list of many people who will deeply miss Phil. As well as his outstanding contributions to our subject, I and many others will remember him as one of the genuinely nicest people I have ever known. Peter Hines On 19/12/2023 05:10, Richard Blute wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
Phil was my PhD advisor together with Rick. I met him soon after I came first to Ottawa in April 2021 at the end of my master's program in France for an internship originally with Rick. I'm so sad that he left us. But I'm so impressed by how he stayed brave until the end. He was still showing up at our logic seminar at the university of Ottawa, even a few days ago. He was apologizing for not being able to come to our meetings with Rick even if we knew he was very sick. Rest in peace Phil, I will not forget anything you told me, you were a great guy and thank you for having been so supportive of me. I'll do my best in math while remembering you. Jean-Baptiste Vienney 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
Phil was a great friend and mentor to me, and I am very sad to hear of his passing. Although I must have met Phil a year earlier, my first memory of him is in 1995 at the Newton Institute in Cambridge, when I was still a graduate student and there was a special term on Semantics of Computation. Later, he hired me at the University of Ottawa and showed me the ropes of everything, including applying for my first NSERC grant (Phil had just finished a term as the chair of the NSERC review committee in computer science for all of Canada), how to teach (I still use some of the course materials I got from him), how to organize a conference (LICS 2004), how to supervise graduate students, and how to navigate university politics. Many others have already described Phil as a friend and mentor, and he certainly was both to me in more ways than I can describe. He also knew every restaurant in Ottawa, although we ended up going to his favorite restaurant, the Green Door, more often than not. Phil and Marcia also loved to visit Halifax and have been here on many occasions, including a memorable visit to a live butterfly exhibit at the Natural History Museum when my kids were small. Phil was always unassuming and friendly and never put on airs. I will miss him very dearly. -- Peter ________________________________ From: Richard Blute <rblute@uottawa.ca> Sent: December 19, 2023 12:10 AM To: Categories mailing list <categories@mq.edu.au> Subject: Phil Scott It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
In his generous way, Phil was corresponding last year with one of our graduate students, answering questions, sharing his ideas. That is when Phil had the health problem diagnosed. It was clearly a shock for him. We were hoping the treatment would give him much longer than it did. I am very sad with this news. I enjoyed talking with Phil on my visits to Montréal. There was always fine feedback from him and from Jim Lambek when I gave a seminar. I sat next to Phil on a plane flight when he was still putting the final touches to the "Intro to higher order categorical logic". Just about everything I know about lambda calculus comes from that book. Please convey my condolences to Phil's family. Ross On 19 Dec 2023, at 3:10 pm, Richard Blute <rblute@uottawa.ca> wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
Dear Rick (and Categories, in cc), This is very sad news indeed - thank you for letting us know. When I spoke with Phil last spring (by zoom), I asked whether we’d be able to meet somewhere in the summer - maybe at the CT, or in the UK - and he replied quite matter of factly that he was battling cancer and probably wouldn’t be able to travel. If only I had known that would be the last time I would speak to him! I would have told him how grateful I am for everything he has given me over the years: his mathematical teaching, in print, lectures, and in private conversations; his advice on educational, professional and editorial matters; and most of all, his personal support and friendship. We will all miss him as an insightful and influential member of our community, and I will also miss him as a kind and generous mentor and friend. Thank you, Phil! And best wishes to you all, Steve On Dec 18, 2023, at 11:10 PM, Richard Blute <rblute@uottawa.ca> wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
Dear all, I am very saddened to hear of Phil's passing. Phil was one of my PhD advisors at the University of Ottawa from 2015-2020 (along with Pieter Hofstra, who also sadly passed away in 2022). He was an extremely kind and supportive mentor in mathematics and in life. I also knew him to be a very caring and conscientious teacher, from when I served as a teaching assistant for his discrete mathematics course (on more than one occasion), and from when I took a graduate course with him on categorical logic. I last saw him in person when I had a post-PhD-defense celebratory dinner at the Green Door restaurant in Ottawa (one of his favourites!), and in recent years I had seen him at various online seminars and conferences. I last spoke to him over e-mail in October, not knowing that that would be the last time we would speak. May he rest in peace. -Jason Parker On Tue, Dec 19, 2023 at 6:36 AM Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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 | Leave group | Learn more about Microsoft 365 Groups 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
Dear all, To Rick Blute, Robin Cockett and Simon Henry I am very sad to learn that Phil has left us for another world. I knew him from the time he was studying with Jim Lambek, about 50 years ago. I have a good memory of the lively discussions we had in a café in the Mile-End near McGill. He was always eager to discuss new ideas and he had an apparent limitless thirst for mathematics. His book with Lambek, "Introduction Higher Categorical Logic" is a landmark. He created the school of category theory in Ottawa. I owe him a personal debt: a few years ago, he took the initiative of presenting my case to the Jeffery-Willams prize of the CMS, which I won in 2022! Thank you Phil! I wish there is a paradise for mathematicians, so they can continue their research. Phil was a good angel and we need help. André Joyal ________________________________ De : Jason Parker <jasonparker300@gmail.com> Envoyé : 20 décembre 2023 12:17 À : Richard Blute <rblute@uottawa.ca> Cc : Categories mailing list <categories@mq.edu.au> Objet : Re: Phil Scott Dear all, I am very saddened to hear of Phil's passing. Phil was one of my PhD advisors at the University of Ottawa from 2015-2020 (along with Pieter Hofstra, who also sadly passed away in 2022). He was an extremely kind and supportive mentor in mathematics and in life. I also knew him to be a very caring and conscientious teacher, from when I served as a teaching assistant for his discrete mathematics course (on more than one occasion), and from when I took a graduate course with him on categorical logic. I last saw him in person when I had a post-PhD-defense celebratory dinner at the Green Door restaurant in Ottawa (one of his favourites!), and in recent years I had seen him at various online seminars and conferences. I last spoke to him over e-mail in October, not knowing that that would be the last time we would speak. May he rest in peace. -Jason Parker On Tue, Dec 19, 2023 at 6:36 AM Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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 | Leave group | Learn more about Microsoft 365 Groups 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
Once Phil invited me while I was visiting Montreal to his seminar in Ottawa to talk on MV-algebras, and I remember having on my short visit a long and interesting discussion on dinatural transformation, where I could appreciate the deepness of his mathematical thinking. Outside mathematics he made me pass a wonderful stay in Ottawa. I fully agree with Peter Hines who wrote to this thread "I and many others will remember him as one of the genuinely nicest people I have ever known." Eduardo Dubuc On 20/12/23 4:49 PM, Joyal, André wrote:
Dear all,
To Rick Blute, Robin Cockett and Simon Henry
I am very sad to learn that Phil has left us for another world. I knew him from the time he was studying with Jim Lambek, about 50 years ago. I have a good memory of the lively discussions we had in a café in the Mile-End near McGill. He was always eager to discuss new ideas and he had an apparent limitless thirst for mathematics. His book with Lambek, "Introduction Higher Categorical Logic" is a landmark. He created the school of category theory in Ottawa.
I owe him a personal debt: a few years ago, he took the initiative of presenting my case to the Jeffery-Willams prize of the CMS, which I won in 2022! Thank you Phil!
I wish there is a paradise for mathematicians, so they can continue their research. Phil was a good angel and we need help.
André Joyal ------------------------------------------------------------------------ *De :* Jason Parker <jasonparker300@gmail.com> *Envoyé :* 20 décembre 2023 12:17 *À :* Richard Blute <rblute@uottawa.ca> *Cc :* Categories mailing list <categories@mq.edu.au> *Objet :* Re: Phil Scott Dear all,
I am very saddened to hear of Phil's passing. Phil was one of my PhD advisors at the University of Ottawa from 2015-2020 (along with Pieter Hofstra, who also sadly passed away in 2022). He was an extremely kind and supportive mentor in mathematics and in life. I also knew him to be a very caring and conscientious teacher, from when I served as a teaching assistant for his discrete mathematics course (on more than one occasion), and from when I took a graduate course with him on categorical logic.
I last saw him in person when I had a post-PhD-defense celebratory dinner at the Green Door restaurant in Ottawa (one of his favourites!), and in recent years I had seen him at various online seminars and conferences. I last spoke to him over e-mail in October, not knowing that that would be the last time we would speak.
May he rest in peace.
-Jason Parker
On Tue, Dec 19, 2023 at 6:36 AM Richard Blute <rblute@uottawa.ca <mailto:rblute@uottawa.ca>> wrote:
__ __
__ __
It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18^th December, 2023) after a long battle with cancer. ____
__ __
Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory.____
____
Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul.____
____
Rick Blute____
Robin Cockett____
Simon Henry____
__ __
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 | Leave group | Learn more about Microsoft 365 Groups
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 | Leave group | Learn more about Microsoft 365 Groups
In one way or another, there certainly is a paradise where mathematicians continue their research. In the worst case, that paradise are the other mathematicians. For mathematicians, that is also the best case. In any case, Phil is in paradise and our memories and many future thoughts are with him. -- dusko On Wed, Dec 20, 2023 at 10:16 AM Joyal, André <joyal.andre@uqam.ca<mailto:joyal.andre@uqam.ca>> wrote: Dear all, To Rick Blute, Robin Cockett and Simon Henry I am very sad to learn that Phil has left us for another world. I knew him from the time he was studying with Jim Lambek, about 50 years ago. I have a good memory of the lively discussions we had in a café in the Mile-End near McGill. He was always eager to discuss new ideas and he had an apparent limitless thirst for mathematics. His book with Lambek, "Introduction Higher Categorical Logic" is a landmark. He created the school of category theory in Ottawa. I owe him a personal debt: a few years ago, he took the initiative of presenting my case to the Jeffery-Willams prize of the CMS, which I won in 2022! Thank you Phil! I wish there is a paradise for mathematicians, so they can continue their research. Phil was a good angel and we need help. André Joyal ________________________________ De : Jason Parker <jasonparker300@gmail.com<mailto:jasonparker300@gmail.com>> Envoyé : 20 décembre 2023 12:17 À : Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> Cc : Categories mailing list <categories@mq.edu.au<mailto:categories@mq.edu.au>> Objet : Re: Phil Scott Dear all, I am very saddened to hear of Phil's passing. Phil was one of my PhD advisors at the University of Ottawa from 2015-2020 (along with Pieter Hofstra, who also sadly passed away in 2022). He was an extremely kind and supportive mentor in mathematics and in life. I also knew him to be a very caring and conscientious teacher, from when I served as a teaching assistant for his discrete mathematics course (on more than one occasion), and from when I took a graduate course with him on categorical logic. I last saw him in person when I had a post-PhD-defense celebratory dinner at the Green Door restaurant in Ottawa (one of his favourites!), and in recent years I had seen him at various online seminars and conferences. I last spoke to him over e-mail in October, not knowing that that would be the last time we would speak. May he rest in peace. -Jason Parker On Tue, Dec 19, 2023 at 6:36 AM Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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 | Leave group | Learn more about Microsoft 365 Groups 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 | Leave group | Learn more about Microsoft 365 Groups 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
I met Phil only twice in person, once at the IHS in Paris in 2014 and once shortly after that when he visited our institution. Both meetings with him were rather enjoyable and profitable. In the latter, we discussed Higgs involution theorem, among other things (I don't remember why), which we discussed again a few months ago by private email after I asked a question here. I came across his book, with Lambek, "Introduction to higher-order categorical logic", when I was an MSc student in Brazil in 1990. I made a pirate photocopy of that book at that time (I can confess this because the statute of limitations has passed). When he visited Birmingham a few years ago, I asked him to sign it for me, which he did gladly. I am shocked and sad to learn he passed away. I didn't know he was ill when we interacted by email less than two months ago. He didn't mention that. He will be missed by many. Martin On 20/12/2023 19:49, Joyal, André wrote: Dear all, To Rick Blute, Robin Cockett and Simon Henry I am very sad to learn that Phil has left us for another world. I knew him from the time he was studying with Jim Lambek, about 50 years ago. I have a good memory of the lively discussions we had in a café in the Mile-End near McGill. He was always eager to discuss new ideas and he had an apparent limitless thirst for mathematics. His book with Lambek, "Introduction Higher Categorical Logic" is a landmark. He created the school of category theory in Ottawa. I owe him a personal debt: a few years ago, he took the initiative of presenting my case to the Jeffery-Willams prize of the CMS, which I won in 2022! Thank you Phil! I wish there is a paradise for mathematicians, so they can continue their research. Phil was a good angel and we need help. André Joyal ________________________________ De : Jason Parker <jasonparker300@gmail.com><mailto:jasonparker300@gmail.com> Envoyé : 20 décembre 2023 12:17 À : Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca> Cc : Categories mailing list <categories@mq.edu.au><mailto:categories@mq.edu.au> Objet : Re: Phil Scott Dear all, I am very saddened to hear of Phil's passing. Phil was one of my PhD advisors at the University of Ottawa from 2015-2020 (along with Pieter Hofstra, who also sadly passed away in 2022). He was an extremely kind and supportive mentor in mathematics and in life. I also knew him to be a very caring and conscientious teacher, from when I served as a teaching assistant for his discrete mathematics course (on more than one occasion), and from when I took a graduate course with him on categorical logic. I last saw him in person when I had a post-PhD-defense celebratory dinner at the Green Door restaurant in Ottawa (one of his favourites!), and in recent years I had seen him at various online seminars and conferences. I last spoke to him over e-mail in October, not knowing that that would be the last time we would speak. May he rest in peace. -Jason Parker On Tue, Dec 19, 2023 at 6:36 AM Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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 | Leave group | Learn more about Microsoft 365 Groups 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
It must have been 1991 or 1992. I was a mathematics major at the University of Ljubljana. During a visit in Zurich I walked into the ETH bookstore. There was a book there with a magical title: “Introduction to Higher-order Categorical Logic” I had always been interested in logic, but I never could find any sources about higher-order logic, let alone one that used the fancy thing called category theory. This was the most influential book I ever bought. It was my introduction to category theory. And the λ-calculus. And higher-order logic. I didn’t understand any of it until much later. When I was a senior my professor Marko Petkovšek, a student of Dana Scott, asked me whether I’d be interested in applying to CMU to study under Dana Scott. My reply was: “Is this the Dana Scott of the D infinity construction from the Introduction to Higher-Order Categorical Logic book?” Thank you, Phil, you will be missed. Andrej Bauer ---------- You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. Leave group: https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27
Once Phil invited me while I was visiting Montreal to his seminar in Ottawa to talk on MV-algebras, and I remember having on my short visit a long and interesting discussion on dinatural transformation, where I could appreciate the deepness of his mathematical thinking. Outside mathematics he made me pass a wonderful stay in Ottawa. I fully agree with Peter Hines who wrote to this thread "I and many others will remember him as one of the genuinely nicest people I have ever known." Eduardo Dubuc ---------- You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. Leave group: https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27
It was Phil who informed me, in May of 2022, of the sudden death of my former PhD student Pieter Hofstra, who had become a colleague in Ottawa and a friend of Phil. I ws eager to know more, but didn't push since I felt it wasn't the right time. A year later, May 2023, I mailed Phil to ask whether we might meet at CT23 in Louvain-la-Neuve. He could not come to Europe but he proposed that we talk on skype since, as he rather off-handedly remarked, he was facing an operation with no certainty that he would survive. We then talked on Skype and Phil told me the horrible story of Pieter's last year, and how he had been with Pieter almost every day. We had another short exchange of mails this fall, when Phil told me the operation had not been an unqualified success. He was hoping to be able to visit Edinburgh in te summer of 2024. Yes, I also went through "Introduction to higher-order categorical logic" as a master student (and I bought a copy!). But the candidness about his own illness, and the warmth he showed a younger colleague in grave difficulties, have made a deeper impression on me. Jaap van Oosten ________________________________ Van: Joyal, André <joyal.andre@uqam.ca> Verzonden: woensdag 20 december 2023 20:49 Aan: Jason Parker <jasonparker300@gmail.com>; Richard Blute <rblute@uottawa.ca> CC: Categories mailing list <categories@mq.edu.au> Onderwerp: Re: Phil Scott CAUTION: This email originated from outside of Utrecht University. Do not click links or open attachments unless you recognize the sender and know the content is safe. Dear all, To Rick Blute, Robin Cockett and Simon Henry I am very sad to learn that Phil has left us for another world. I knew him from the time he was studying with Jim Lambek, about 50 years ago. I have a good memory of the lively discussions we had in a café in the Mile-End near McGill. He was always eager to discuss new ideas and he had an apparent limitless thirst for mathematics. His book with Lambek, "Introduction Higher Categorical Logic" is a landmark. He created the school of category theory in Ottawa. I owe him a personal debt: a few years ago, he took the initiative of presenting my case to the Jeffery-Willams prize of the CMS, which I won in 2022! Thank you Phil! I wish there is a paradise for mathematicians, so they can continue their research. Phil was a good angel and we need help. André Joyal ________________________________ De : Jason Parker <jasonparker300@gmail.com> Envoyé : 20 décembre 2023 12:17 À : Richard Blute <rblute@uottawa.ca> Cc : Categories mailing list <categories@mq.edu.au> Objet : Re: Phil Scott Dear all, I am very saddened to hear of Phil's passing. Phil was one of my PhD advisors at the University of Ottawa from 2015-2020 (along with Pieter Hofstra, who also sadly passed away in 2022). He was an extremely kind and supportive mentor in mathematics and in life. I also knew him to be a very caring and conscientious teacher, from when I served as a teaching assistant for his discrete mathematics course (on more than one occasion), and from when I took a graduate course with him on categorical logic. I last saw him in person when I had a post-PhD-defense celebratory dinner at the Green Door restaurant in Ottawa (one of his favourites!), and in recent years I had seen him at various online seminars and conferences. I last spoke to him over e-mail in October, not knowing that that would be the last time we would speak. May he rest in peace. -Jason Parker On Tue, Dec 19, 2023 at 6:36 AM Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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 | Leave group | Learn more about Microsoft 365 Groups 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
Phil was an extraordinary researcher and a wonderful human being. The news is very sad. I wonder if anyone has his wife’s email so i can send my condolences. I last saw them both at the programming semantics year at the Isaac Newton Center in Cambridge and have very good memories of the encounters… — Jim Lipton On Tue, Dec 19, 2023 at 2:25 PM Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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 | Leave group | Learn more about Microsoft 365 Groups 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
A heart wrenching loss. Phil had such a kind spirit. When I was a hapless young D.Phil. student at my first ever LICS conference, he took me under his wing and was very generous with his time. One nugget of wisdom he taught me years later was was his concept of LPU or “Least Publishable Unit”: he knew exactly what I needed to hear at the time as I had hit a wall with in an excessively bloated draft. An incredible mentor to so many. I shall really miss him. On Dec 18, 2023, at 8:10 PM, Richard Blute <rblute@uottawa.ca> wrote: It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer. Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
participants (29)
-
amp12 -
andrej.bauer＠andrej.com -
Bob Coecke -
Chris Heunen -
Dominic -
Dusko Pavlovic -
Eduardo J. Dubuc -
Gordon Plotkin -
James Lipton -
Jason Parker -
Jean-Baptiste Vienney -
Joyal, André -
JS Lemay -
Martin Escardo -
Michael Barr, Prof. -
Michael Healy -
Oosten, J. van (Jaap) -
Peter Hines -
Peter Selinger -
Prakash Panangaden -
Richard Blute -
Ross Street -
Sacha Ikonicoff -
Sadrzadeh, Mehrnoosh -
Sergei Soloviev -
Steve Awodey -
Timothy Porter -
Tom Leinster -
Yan Steimle