Re: Phil Scott

[Prakash Panangaden <prakash@cs.mcgill.ca>]

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

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<https://protect-au.mimecast.com/s/k3QNC5QP8ySDJkyxfz36V6?domain=aka.ms>
________________________________
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=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


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