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>