From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10054 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Chaitanya Leena Subramaniam Newsgroups: gmane.science.mathematics.categories Subject: =?UTF-8?Q?Re=3a_categories=3a_Sad_news_=e2=80=94_Erik_Palmgren?= Date: Mon, 18 Nov 2019 14:19:38 +0100 Message-ID: References: Reply-To: Chaitanya Leena Subramaniam Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="226924"; mail-complaints-to="usenet@blaine.gmane.org" To: Categories list Original-X-From: majordomo@rr.mta.ca Tue Nov 19 23:46:49 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iXCGm-000wrI-Mp for gsmc-categories@m.gmane.org; Tue, 19 Nov 2019 23:46:48 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:35862) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1iXCGR-0002LF-TP; Tue, 19 Nov 2019 18:46:27 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1iXCFh-0000gy-Nm for categories-list@rr.mta.ca; Tue, 19 Nov 2019 18:45:41 -0400 In-Reply-To: Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:10054 Archived-At: Dear all, This is very sad news indeed. My memory of Erik is as a quiet but thoughtful and warm person, candid and principled, and vastly knowledgeable. Erik was my entry-point into the world of type theory, when, in 2016, he let me, then an impressionable masters student, into his cavernous setoid libraries, where I spent six happy months messing with E-categories---'"Erik"-categories'---and ECwAs, lost in the heady lure of checking coherences in a proof assistant. -Chaitanya. On 15/11/19 23:15, Peter LeFanu Lumsdaine wrote: > Dear colleagues, > > Some very sad news ??? Erik Palmgren passed away unexpectedly this week at > his home in Stockholm, after a short period of bad health. > > Besides being insightful and influential in his own work, mostly on > constructive mathematics and related topics in logic, Erik was also a > generous and sensitive mentor to many students and younger colleagues, > first in Uppsala and then in Stockholm. He will be deeply missed. > > Personal website:http://staff.math.su.se/palmgren/ > > For any academic business regarding Erik, please contact either me < > p.l.lumsdaine@math.su.se> or Jonas Bergstr??m (head of > the Stockholm University mathematics division). > > Sadly, > ???Peter. > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]