categories - Category Theory list
 help / color / mirror / Atom feed
From: "Eduardo J. Dubuc" <edubuc@dm.uba.ar>
To: "Joyal, André" <joyal.andre@uqam.ca>,
	"Jason Parker" <jasonparker300@gmail.com>,
	"Richard Blute" <rblute@uottawa.ca>
Cc: Categories mailing list <categories@mq.edu.au>
Subject: Re: Phil Scott
Date: Wed, 20 Dec 2023 18:00:53 -0300	[thread overview]
Message-ID: <b0f7c580-e1f8-1283-a1e8-dec35028926d@dm.uba.ar> (raw)
In-Reply-To: <QB1PR01MB294821C8A261446BD3433FBEFD96A@QB1PR01MB2948.CANPRD01.PROD.OUTLOOK.COM>

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


Once Phil invited me while I was visiting Montreal to his seminar in 
Ottawa to talk on MV-algebras, and I remember having on my short visit a 
long and interesting discussion on dinatural transformation, where I 
could appreciate the deepness of his mathematical thinking. Outside 
mathematics he made me pass a wonderful stay in Ottawa. I fully agree 
with Peter Hines who wrote to this thread

"I and many others will remember him as one of the genuinely nicest 
people I have ever known."

Eduardo Dubuc



On 20/12/23 4:49 PM, Joyal, André wrote:
> Dear all,
> 
> To Rick Blute, Robin Cockett and Simon Henry
> 
> I am very sad to learn that Phil has left us for another world.
> I knew him from the time he was studying with Jim Lambek, about 50 years 
> ago.
> I have a good memory of the lively discussions we had in a café in the
> Mile-End near McGill. He was always eager to discuss new ideas and
> he had an apparent limitless thirst for mathematics.
> His book with Lambek, "Introduction Higher Categorical Logic" is a landmark.
> He created the school of category theory in Ottawa.
> 
> I owe him a personal debt: a few years ago, he took the initiative of 
> presenting
> my case to the Jeffery-Willams prize of the CMS, which I won in 2022!
> Thank you Phil!
> 
> I wish there is a paradise for mathematicians, so they can continue 
> their research.
> Phil was a good angel and we need help.
> 
> André Joyal
> ------------------------------------------------------------------------
> *De :* Jason Parker <jasonparker300@gmail.com>
> *Envoyé :* 20 décembre 2023 12:17
> *À :* Richard Blute <rblute@uottawa.ca>
> *Cc :* Categories mailing list <categories@mq.edu.au>
> *Objet :* Re: Phil Scott
> Dear all,
> 
> I am very saddened to hear of Phil's passing. Phil was one of my PhD 
> advisors at the University of Ottawa from 2015-2020 (along with Pieter 
> Hofstra, who also sadly passed away in 2022). He was an extremely kind 
> and supportive mentor in mathematics and in life. I also knew him to be 
> a very caring and conscientious teacher, from when I served as a 
> teaching assistant for his discrete mathematics course (on more than one 
> occasion), and from when I took a graduate course with him on 
> categorical logic.
> 
> I last saw him in person when I had a post-PhD-defense celebratory 
> dinner at the Green Door restaurant in Ottawa (one of his favourites!), 
> and in recent years I had seen him at various online seminars and 
> conferences. I last spoke to him over e-mail in October, not knowing 
> that that would be the last time we would speak.
> 
> May he rest in peace.
> 
> -Jason Parker
> 
> On Tue, Dec 19, 2023 at 6:36 AM 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 (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____
> 
>     __ __
> 
>     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/QmfyCE8wlRCNyzQ3SNCewb?domain=outlook.office365.com>   |
>     Leave group
>     <https://protect-au.mimecast.com/s/jwzoCGv0Z6fQnPV1t76TcO?domain=outlook.office365.com>   |
>     Learn more about Microsoft 365 Groups
>     <https://protect-au.mimecast.com/s/MdpiCJyBZ6tDO27qSzgV77?domain=aka.ms>
> 
> 
> 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/gMBbCK1DOrCGKYj2UAt6br?domain=outlook.office365.com>   | 
> Leave group 
> <https://protect-au.mimecast.com/s/wBJKCL7Eg9fZqgJRTjtrdN?domain=outlook.office365.com>   | 
> Learn more about Microsoft 365 Groups <https://protect-au.mimecast.com/s/MdpiCJyBZ6tDO27qSzgV77?domain=aka.ms>
> 

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

  reply	other threads:[~2023-12-20 21:09 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-12-19  4:10 Richard Blute
2023-12-19 12:44 ` JS Lemay
2023-12-19 14:02   ` Timothy Porter
2023-12-19 14:18     ` Sergei Soloviev
2023-12-19 14:51 ` Prakash Panangaden
2023-12-19 15:29   ` Gordon Plotkin
2023-12-19 15:48   ` Michael Barr, Prof.
2023-12-19 16:03     ` [EXT] " Bob Coecke
2023-12-19 17:08       ` Tom Leinster
2023-12-19 17:42         ` Sadrzadeh, Mehrnoosh
2023-12-19 22:16           ` Chris Heunen
2023-12-19 16:57 ` Sacha Ikonicoff
2023-12-19 17:45   ` Yan Steimle
2023-12-19 22:19     ` Michael Healy
2023-12-19 17:23 ` amp12
2023-12-19 17:46 ` Peter Hines
2023-12-19 19:25 ` Peter Selinger
2023-12-20  1:01 ` Ross Street
2023-12-20  9:33 ` Noam Zeilberger
2023-12-20 15:23 ` Steve Awodey
2023-12-20 17:17 ` Jason Parker
2023-12-20 19:49   ` Joyal, André
2023-12-20 21:00     ` Eduardo J. Dubuc [this message]
2023-12-20 21:20     ` Dusko Pavlovic
2023-12-20 21:25     ` Martin Escardo
2023-12-20 22:52       ` andrej.bauer
2023-12-20 22:10     ` Oosten, J. van (Jaap)
2023-12-21 15:23 ` [External] " James Lipton
2023-12-26 20:22 ` Dominic
2023-12-19 17:52 Jean-Baptiste Vienney
2023-12-21 15:12 Eduardo J. Dubuc

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=b0f7c580-e1f8-1283-a1e8-dec35028926d@dm.uba.ar \
    --to=edubuc@dm.uba.ar \
    --cc=categories@mq.edu.au \
    --cc=jasonparker300@gmail.com \
    --cc=joyal.andre@uqam.ca \
    --cc=rblute@uottawa.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).