Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* [HoTT] Sad news — Erik Palmgren
@ 2019-11-15 22:15 Peter LeFanu Lumsdaine
  2019-11-18 13:21 ` Chaitanya LS
  0 siblings, 1 reply; 2+ messages in thread
From: Peter LeFanu Lumsdaine @ 2019-11-15 22:15 UTC (permalink / raw)
  To: HomotopyTypeTheory, constructivenews, Categories list

[-- Attachment #1: Type: text/plain, Size: 1121 bytes --]

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.

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-k00GTNS4jm3vgvJoAK5mUuJU6RDZH_6cKs5hD1M4wOKA%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 1799 bytes --]

<div dir="ltr"><div dir="ltr"><div dir="ltr">Dear colleagues,<div><br></div><div><div>Some very sad news — Erik Palmgren passed away unexpectedly this week at his home in Stockholm, after a short period of bad health.</div><div><br></div><div>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.</div><div><br></div><div>Personal website: <a href="http://staff.math.su.se/palmgren/" target="_blank">http://staff.math.su.se/palmgren/</a><br></div><div><br></div><div>For any academic business regarding Erik, please contact either me &lt;<a href="mailto:p.l.lumsdaine@math.su.se" target="_blank">p.l.lumsdaine@math.su.se</a>&gt; or Jonas Bergström &lt;<a href="mailto:jonasb@math.su.se" target="_blank">jonasb@math.su.se</a>&gt; (head of the Stockholm University mathematics division).<br></div><div><br></div><div>Sadly,<br></div><div>–Peter.</div></div></div></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &quot;Homotopy Type Theory&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:HomotopyTypeTheory+unsubscribe@googlegroups.com">HomotopyTypeTheory+unsubscribe@googlegroups.com</a>.<br />
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-k00GTNS4jm3vgvJoAK5mUuJU6RDZH_6cKs5hD1M4wOKA%40mail.gmail.com?utm_medium=email&utm_source=footer">https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-k00GTNS4jm3vgvJoAK5mUuJU6RDZH_6cKs5hD1M4wOKA%40mail.gmail.com</a>.<br />

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [HoTT] Sad news — Erik Palmgren
  2019-11-15 22:15 [HoTT] Sad news — Erik Palmgren Peter LeFanu Lumsdaine
@ 2019-11-18 13:21 ` Chaitanya LS
  0 siblings, 0 replies; 2+ messages in thread
From: Chaitanya LS @ 2019-11-18 13:21 UTC (permalink / raw)
  Cc: HomotopyTypeTheory, constructivenews

[-- Attachment #1: Type: text/plain, Size: 2353 bytes --]

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 Fri, Nov 15, 2019 at 11:15 PM Peter LeFanu Lumsdaine <
p.l.lumsdaine@gmail.com> 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.
>
> --
> You received this message because you are subscribed to the Google Groups
> "Homotopy Type Theory" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-k00GTNS4jm3vgvJoAK5mUuJU6RDZH_6cKs5hD1M4wOKA%40mail.gmail.com
> <https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-k00GTNS4jm3vgvJoAK5mUuJU6RDZH_6cKs5hD1M4wOKA%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CALwTfBf%3D80-ak%2Bgn%2BdDV3rsEoaSTMQPG9jH8_9EqQvYZpV%2B85Q%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 3513 bytes --]

<div dir="ltr"><p>Dear all,</p>
    <p>This is very sad news indeed.</p>
    <p>My memory of Erik is as a quiet but thoughtful and warm person,
      candid and principled, and vastly knowledgeable.<br>
    </p>
    <p>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---&#39;&quot;Erik&quot;-categories&#39;---and ECwAs, lost in the
      heady lure of checking coherences in a proof assistant.</p>
    <p>-Chaitanya.</p></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Nov 15, 2019 at 11:15 PM Peter LeFanu Lumsdaine &lt;<a href="mailto:p.l.lumsdaine@gmail.com">p.l.lumsdaine@gmail.com</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><div dir="ltr">Dear colleagues,<div><br></div><div><div>Some very sad news — Erik Palmgren passed away unexpectedly this week at his home in Stockholm, after a short period of bad health.</div><div><br></div><div>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.</div><div><br></div><div>Personal website: <a href="http://staff.math.su.se/palmgren/" target="_blank">http://staff.math.su.se/palmgren/</a><br></div><div><br></div><div>For any academic business regarding Erik, please contact either me &lt;<a href="mailto:p.l.lumsdaine@math.su.se" target="_blank">p.l.lumsdaine@math.su.se</a>&gt; or Jonas Bergström &lt;<a href="mailto:jonasb@math.su.se" target="_blank">jonasb@math.su.se</a>&gt; (head of the Stockholm University mathematics division).<br></div><div><br></div><div>Sadly,<br></div><div>–Peter.</div></div></div></div></div>

<p></p>

-- <br>
You received this message because you are subscribed to the Google Groups &quot;Homotopy Type Theory&quot; group.<br>
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:HomotopyTypeTheory+unsubscribe@googlegroups.com" target="_blank">HomotopyTypeTheory+unsubscribe@googlegroups.com</a>.<br>
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-k00GTNS4jm3vgvJoAK5mUuJU6RDZH_6cKs5hD1M4wOKA%40mail.gmail.com?utm_medium=email&amp;utm_source=footer" target="_blank">https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-k00GTNS4jm3vgvJoAK5mUuJU6RDZH_6cKs5hD1M4wOKA%40mail.gmail.com</a>.<br>
</blockquote></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &quot;Homotopy Type Theory&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:HomotopyTypeTheory+unsubscribe@googlegroups.com">HomotopyTypeTheory+unsubscribe@googlegroups.com</a>.<br />
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/HomotopyTypeTheory/CALwTfBf%3D80-ak%2Bgn%2BdDV3rsEoaSTMQPG9jH8_9EqQvYZpV%2B85Q%40mail.gmail.com?utm_medium=email&utm_source=footer">https://groups.google.com/d/msgid/HomotopyTypeTheory/CALwTfBf%3D80-ak%2Bgn%2BdDV3rsEoaSTMQPG9jH8_9EqQvYZpV%2B85Q%40mail.gmail.com</a>.<br />

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, back to index

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-11-15 22:15 [HoTT] Sad news — Erik Palmgren Peter LeFanu Lumsdaine
2019-11-18 13:21 ` Chaitanya LS

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git