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

 

 

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