Re: categories: Sad news — Erik Palmgren

[Chaitanya Leena Subramaniam <chaitanya@irif.fr>]

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/ ]