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>