Re: Phil Scott

[Chris Heunen <Chris.Heunen@ed.ac.uk>]

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

It's somber and sobering that Phil passed away. As I got to know him over the last couple of winters he spent in Edinburgh, he was very generous with his time, never assuming, and always gentle and cheerful. He made me feel like a proper category theorist and taught me many things. One of them was that he had found these wonderful boots at his favourite store when we went on a hike with the kids. I remember thinking they looked a bit dull, but know better now I'm wearing that brand shoes every day!

Our thoughts are with you Marcia - you'll be remembered Phil.

Chris

________________________________________
From: Sadrzadeh, Mehrnoosh <m.sadrzadeh@ucl.ac.uk>
Sent: 19 December 2023 17:42
To: Tom Leinster; Richard Blute; Categories mailing list
Subject: Re: Phil Scott

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.
such sad and sudden (for me) news! I didn't know he was battling cancer.

Phil was my maths supervisor when I arrived from Iran to Ottawa all those years ago. He helped me find my way around, introduced me to people, even got me an office and taught me how to use LaTex!

It feels like  he has always been around! We met at conferences and whenever he passed through where I was.  Always nice, always supportive,  and ready to explain a complicated piece of maths!

Last time I saw him was in the Gandy memorial workshop at Wolfson college Oxford.

... will  be enormously missed.
________________________________
From: Tom Leinster <Tom.Leinster@ed.ac.uk>
Sent: Tuesday, December 19, 2023 5:08 PM
To: Richard Blute <rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au>
Subject: Re: Phil Scott


⚠ Caution: External sender


Phil's passing is such sad news. I got to know him better during his visits to Edinburgh in recent years, and he was always so kind, gentle and encouraging - and humble too, despite all his achievements and accomplishments.


Tom



On 19/12/2023 16:03, Bob Coecke 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.
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><mailto:barr.michael@mcgill.ca>
Sent: 19 December 2023 15:48
To: Prakash Panangaden <prakash@cs.mcgill.ca><mailto:prakash@cs.mcgill.ca>; Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au><mailto: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><mailto:prakash@cs.mcgill.ca>
Sent: Tuesday, December 19, 2023 9:51 AM
To: Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au><mailto: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<https://protect-au.mimecast.com/s/7vE3C0YKgRsLxvjRswy9AG?domain=aka.ms>
________________________________
From: Richard Blute <rblute@uottawa.ca><mailto:rblute@uottawa.ca>
Sent: Monday, December 18, 2023 11:10:17 PM
To: Categories mailing list <categories@mq.edu.au><mailto: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://protect-au.mimecast.com/s/4-dYCgZ05Jf7368LSouqjg?domain=outlook.office365.com>   |   Leave group<https://protect-au.mimecast.com/s/2LmLCjZ12RfvrEg7s5JgoF?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://protect-au.mimecast.com/s/UhD8Ck815RCpElgMH9Zi9y?domain=aka.ms>

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.

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