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