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 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 Sent: Monday, December 18, 2023 11:10:17 PM To: Categories mailing list 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