From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10679 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Steve Vickers Newsgroups: gmane.science.mathematics.categories Subject: =?utf-8?Q?Re:__Professor_Andr=C3=A9_Joyal_to_Receive_?= =?utf-8?Q?2022_CMS_Jeffery-Williams_PrizeThread-Topic:_categorie?= =?utf-8?Q?s:_Professor_Andr=C3=A9_Joyal_to_Receive_2022_CMS_Jeff?= =?utf-8?Q?ery-Williams_Prize?= Date: Sun, 27 Feb 2022 11:09:44 +0000 Message-ID: Reply-To: Steve Vickers Mime-Version: 1.0 (1.0) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="7131"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "categories@mta.ca list" To: "=?utf-8?Q? Joyal,_Andr=C3=A9 ?=" Original-X-From: majordomo@rr.mta.ca Sun Feb 27 22:18:48 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1nOQwJ-0001gM-Eh for gsmc-categories@m.gmane-mx.org; Sun, 27 Feb 2022 22:18:47 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:46252) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1nOQuq-0003TD-Ti; Sun, 27 Feb 2022 17:17:16 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1nOQuG-0003tP-Jx for categories-list@rr.mta.ca; Sun, 27 Feb 2022 17:16:40 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10679 Archived-At: =EF=BB=BF Dear Andre, You do deserve it. Speaking for myself, your monograph with Tierney was a huge influence on my o= wn work: not only for its technical treatment, but also for the vigour with w= hich it asserted the right of point-free spaces to the term =E2=80=9Cspace=E2= =80=9D, unadorned, unqualified, with the implication that point-set spaces h= ave been superseded as the subject of topology. It made me understand that m= y own book was hopelessly inadequate as an account of what point-free topolo= gy was for. At the time its insistence on working with the internal logic of elementary t= oposes stood out among point-free writings; yet it showed how to make the ca= lculations topologically natural. In particular, by showing that internal la= ttices of opens are equivalent externally to bundles, it gave a natural way t= o think about constructive locale theory. Even today, that point is not wide= ly enough understood. The monograph was a long time ago, and who am I to say how much was Joyal an= d how much Tierney? But in your work since I=E2=80=99ve always had the sense= that the point-free topology was topology and not lattice theory. That broa= dens out much further in the recent topos-locos writings with Anel. And I haven=E2=80=99t even mentioned arithmetic universes! So, from my own perspective, you richly deserve the recognition of the Jeffe= ry-Williams prize. Best wishes, Steve (Vickers) > On 25 Feb 2022, at 02:31, joyal.andre@uqam.ca wrote: > =EF=BB=BFDear Steve, >=20 > Thank you. >=20 > I am not sure I deserve it more than so many others. > I guess I am lucky. > Unfortunately, there is no money attached! > Anyway, I am please for the recognition. >=20 > Best wishes, >=20 > Andr=C3=A9 >=20 >=20 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]