From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.28.140.199 with SMTP id o190mr1345213wmd.6.1506888413923; Sun, 01 Oct 2017 13:06:53 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.223.195.40 with SMTP id n37ls1890189wrf.2.gmail; Sun, 01 Oct 2017 13:06:53 -0700 (PDT) X-Received: by 10.28.1.146 with SMTP id 140mr1485060wmb.2.1506888413204; Sun, 01 Oct 2017 13:06:53 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1506888413; cv=none; d=google.com; s=arc-20160816; b=Gxtu/HMf6LsFMrAa60qfNjIMylBJb8BTdPHiajSAJjn/KnMxVS+75TyBbseX5TxYvW f+5QG8gZGc3TEKBLPOO1qiO7lytEw9RkUGxUG8Pp/qYaiJ/Tf+wrVA+mIE2XdPfkZnzs YUCtgzNH7sWoaU17p0bJCCU1xReC4AJYcwz6WzmN3cqZ7e+TdP4v+tEBRXTV13z+7Usg xkXwKI+rhzTNm7APeOIvjmkaTPBhGH706zKdSY0ZnU9ri5NCLwzwYPrYYScYR4TI05w6 pmtPkG3y4fJ3D7jwcufAScuzsx6IEWAlouB1oSVg5n+xnAX19/XWLeD1+hW2zmQPIwMA fFiw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-language:in-reply-to:mime-version:user-agent:date :message-id:from:references:to:subject:dkim-signature :arc-authentication-results; bh=lRuyFuWELa8fCMzP8yAcPAAs8hXa6T7crMZsP4E/yOk=; b=fEM0huxFLdjhl8XkacI0+/+a2WfM2GzmKt1TGZgH2I2oqDB7WjCHCLZOBNWwQmNy2b e83YQrO+zC7iwYV0D9ik0fP1A/GpIh3vT0pvh8hPrKvooWDI2QDab1RCMO+ItULqYvaa dcWBUuksGEIhWE/hbAH2A6eG9UEXTzhkkpe2l7frT4nT17z0nP7M66+eXgYkn1bTJqfW ltPgUWO9Bt009wyMyKw6G5EMSvKPm1qGMshTwZvaEXX//rRBid8iH8/61qRVH+zEDTVL Ls7yEBTWSkAu5qVadCpYM2nNRVlXQ6cOF0h6TqZ+ylkZmsDWhDdDD0MbRyRXuvi2DqnD D3iQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=PGSrELwm; spf=pass (google.com: domain of nicola...@gmail.com designates 2a00:1450:400c:c09::236 as permitted sender) smtp.mailfrom=nicola...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-wm0-x236.google.com (mail-wm0-x236.google.com. [2a00:1450:400c:c09::236]) by gmr-mx.google.com with ESMTPS id n82si462235wmg.3.2017.10.01.13.06.53 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 01 Oct 2017 13:06:53 -0700 (PDT) Received-SPF: pass (google.com: domain of nicola...@gmail.com designates 2a00:1450:400c:c09::236 as permitted sender) client-ip=2a00:1450:400c:c09::236; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=PGSrELwm; spf=pass (google.com: domain of nicola...@gmail.com designates 2a00:1450:400c:c09::236 as permitted sender) smtp.mailfrom=nicola...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Received: by mail-wm0-x236.google.com with SMTP id u138so7064233wmu.4 for ; Sun, 01 Oct 2017 13:06:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-language; bh=lRuyFuWELa8fCMzP8yAcPAAs8hXa6T7crMZsP4E/yOk=; b=PGSrELwm/yGqKUpaQmLtYBdvzPr9shnXqjwJ/VxRQf6luVjr+YJDhzQ/k20tkQQLW3 Pg3A3x5n6opJIxlc5uL1p7VZcuC/C2MIwGabudPkSsrO5PDw9G8e9BhY578zsqCtYBPj GhxguA1po0vSWuxdiCOjMmU/EpHPSVDftTsiW0Jt4sIWze+8NBNBIUkA4adepfxUAPDx mGYsWP7VEExTJ+cJBoe5XLAF2HwWTHJJVTUPhKJhg+TSGmv9LGkbx54gwJcZa16WKB6F D4E9R74faBg/3kSebVo1YPoDY3kq0NBne+IJ+7RrBlAvuZqmY26097c5ppp3GrdqndCc c5Zg== X-Gm-Message-State: AMCzsaWdQ2vyr3is4lExWok96pREEutn+s9R3mmdRCjV1uN32oKp6hOL aD/rdoWaFGasaDNnl/sTLdFCeSqL X-Received: by 10.28.131.210 with SMTP id f201mr9647272wmd.71.1506888412455; Sun, 01 Oct 2017 13:06:52 -0700 (PDT) Return-Path: Received: from [192.168.0.2] (cpc86229-nott20-2-0-cust356.12-2.cable.virginm.net. [82.7.65.101]) by smtp.gmail.com with ESMTPSA id p77sm4982150wmd.28.2017.10.01.13.06.50 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 01 Oct 2017 13:06:51 -0700 (PDT) Subject: Re: [HoTT] Vladimir Voevodsky To: HomotopyTypeTheory@googlegroups.com References: From: Nicolai Kraus Message-ID: Date: Sun, 1 Oct 2017 21:06:50 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.3.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/alternative; boundary="------------39B770C4A15503520E5D8A4C" Content-Language: en-US --------------39B770C4A15503520E5D8A4C Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Truly sad news. I did not know Vladimir well, but I had the privilege to talk with him and get his advice at several occasions. Much of what I have been doing during the last couple of years was either directly or indirectly based on some of Vladimir's many ideas, most importantly maybe his observation that homotopy/truncation levels can be defined internally in type theory. May he rest in peace. Nicolai On 01/10/17 05:25, Daniel R. Grayson wrote: > Dear Colleagues, > > The following message from the director of the Institute for Advanced > Study in Princeton announces > sad news: > > ---------- Forwarded message ---------- > Date: Sat, 30 Sep 2017 17:38:57 -0400 (EDT) > From: Robbert Dijkgraaf > Subject: Sad news > > Dear Colleagues, > > It is with a heavy heart that I write to share some very sad news. Our > dear colleague and friend, Vladimir Voevodsky, Professor in the School > of Mathematics, passed away unexpectedly this morning. > > Vladimir was a truly extraordinary mathematician and integral part of > our community. His death is a tremendous loss for the Institute and > for the world. We will all miss him dearly and extend our deepest > condolences to Vladimir’s family and his many colleagues and > collaborators around the world. > > We will soon be sharing more information about a gathering to > celebrate Vladimir’s life and legacy. > > Robbert > -- > 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 HomotopyTypeThe...@googlegroups.com > . > For more options, visit https://groups.google.com/d/optout. --------------39B770C4A15503520E5D8A4C Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit Truly sad news. I did not know Vladimir well, but I had the privilege to talk with him and get his advice at several occasions. Much of what I have been doing during the last couple of years was either directly or indirectly based on some of Vladimir's many ideas, most importantly maybe his observation that homotopy/truncation levels can be defined internally in type theory.
May he rest in peace.
Nicolai


On 01/10/17 05:25, Daniel R. Grayson wrote:
Dear Colleagues,

The following message from the director of the Institute for Advanced Study in Princeton announces
sad news:

---------- Forwarded message ----------
Date: Sat, 30 Sep 2017 17:38:57 -0400 (EDT)
From: Robbert Dijkgraaf
Subject: Sad news

Dear Colleagues,

It is with a heavy heart that I write to share some very sad news. Our dear colleague and friend, Vladimir Voevodsky, Professor in the School of Mathematics, passed away unexpectedly this morning.

Vladimir was a truly extraordinary mathematician and integral part of our community. His death is a tremendous loss for the Institute and for the world. We will all miss him dearly and extend our deepest condolences to Vladimir’s family and his many colleagues and collaborators around the world.

We will soon be sharing more information about a gathering to celebrate Vladimir’s life and legacy.

Robbert
--
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 HomotopyTypeThe...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--------------39B770C4A15503520E5D8A4C--