* Sad news — Erik Palmgren
@ 2019-11-15 22:15 Peter LeFanu Lumsdaine
2019-11-18 13:19 ` categories: " Chaitanya Leena Subramaniam
0 siblings, 1 reply; 2+ messages in thread
From: Peter LeFanu Lumsdaine @ 2019-11-15 22:15 UTC (permalink / raw)
To: HomotopyTypeTheory@googlegroups.com, constructivenews, Categories list
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 <jonasb@math.su.se> (head of
the Stockholm University mathematics division).
Sadly,
–Peter.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: categories: Sad news — Erik Palmgren
2019-11-15 22:15 Sad news — Erik Palmgren Peter LeFanu Lumsdaine
@ 2019-11-18 13:19 ` Chaitanya Leena Subramaniam
0 siblings, 0 replies; 2+ messages in thread
From: Chaitanya Leena Subramaniam @ 2019-11-18 13:19 UTC (permalink / raw)
To: Categories list
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 <jonasb@math.su.se> (head of
> the Stockholm University mathematics division).
>
> Sadly,
> ???Peter.
>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-11-18 13:19 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-11-15 22:15 Sad news — Erik Palmgren Peter LeFanu Lumsdaine
2019-11-18 13:19 ` categories: " Chaitanya Leena Subramaniam
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).