From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.13.241.196 with SMTP id a187mr38174969ywf.128.1507183697111; Wed, 04 Oct 2017 23:08:17 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.129.163.141 with SMTP id a135ls746862ywh.2.gmail; Wed, 04 Oct 2017 23:08:16 -0700 (PDT) X-Received: by 10.129.73.204 with SMTP id w195mr37301968ywa.19.1507183696283; Wed, 04 Oct 2017 23:08:16 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1507183696; cv=none; d=google.com; s=arc-20160816; b=eyX1FVfCxlZ1GJr3T1P3Exop2zKZE3v3ssg7QON5PMMZrkv5uo9zAT047WVm/mvk89 v/UNl+AiW/kU0xd1gvKKdIh8hgntDpQqdEqRT4verlX2AHcLjBMcVL2DWhrDr7AAXLJJ iFjqeLp2FDKnQ8QSxtNmaX2vesBc6qYmS2bu24teGPBsGsiafsIZub2zaV6vbk6okSmV iRENCVzZXeUA1d2I7Jw1yRWi07ANVohFi4Axv0hf1GlO9WvRsydcNj8HnhtqGGOYxEfi W2yBgpLQ+Et2HvW2UqJkDd265x4YvUN8Gr4s/3XoG9oy3qXa927JD5cFxpofipXd9fJf WwiQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:references:in-reply-to:mime-version :dkim-signature:arc-authentication-results; bh=HFIbCK9+p6KNPudTyd3/B/zdknhnCtuQpMH9hPEcDp4=; b=bAKnVcqmFjlPVP/EzpzTfp3sKMm7QaPRGioSIgIsNVtjhDHXUFo6P88Ih5sbRf/Pf4 Ds0z+4vt1VsS9N2pB5IJpkkSi8u/zIjJSt/QVzvuxkdMiDoIBvsdUzhsCzrhHp2+NO+I a8rCiLuHEOtsYgd9p+FlF0h8il4jOZiE7/vu44gzwqDZ1EE6tYiC1lmlRPnxjES0ckfy cYqKBAkqky0Suwvb6ae2e8cwScDhmr9dCTH+eB9+nbtgvTlkRr+QJ3rTQ+hJrGiR7HMr OmC8mbQGovwgDd/Ycfm45yBZ0tXA+Tp7PA/Jz708ZTIh5cRHtiXB+/vlRfcCntLXCGpk ZG7w== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=IL3BIi8t; spf=pass (google.com: domain of intov...@gmail.com designates 2607:f8b0:4003:c06::233 as permitted sender) smtp.mailfrom=intov...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-oi0-x233.google.com (mail-oi0-x233.google.com. [2607:f8b0:4003:c06::233]) by gmr-mx.google.com with ESMTPS id l18si79564ywa.31.2017.10.04.23.08.16 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 04 Oct 2017 23:08:16 -0700 (PDT) Received-SPF: pass (google.com: domain of intov...@gmail.com designates 2607:f8b0:4003:c06::233 as permitted sender) client-ip=2607:f8b0:4003:c06::233; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=IL3BIi8t; spf=pass (google.com: domain of intov...@gmail.com designates 2607:f8b0:4003:c06::233 as permitted sender) smtp.mailfrom=intov...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Received: by mail-oi0-x233.google.com with SMTP id m198so10685269oig.5 for ; Wed, 04 Oct 2017 23:08:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=HFIbCK9+p6KNPudTyd3/B/zdknhnCtuQpMH9hPEcDp4=; b=IL3BIi8t4X8E4E4obV6+IV9zAZxxY7TXZWUUWYTwQ4rmM4CUn/WsC9lUcj6x2aihCs IWRqfj2zlDgXMWQ/b3JS7W4XKGFWahYvYKwRTWdCQ85jBocsjG2fBdQVTAJYIJgp4C9j RlhBDJM0wjtyrEcw8iAdzDXgeJorMJ/ZNBHM54RJszV6rtzvX1dEBziTbppsZUZiJvoR cfJm0b3s9RIWSv6fZ5e8Tu4yDN/KlpdaDzdFnvj8NrvrFU6qxp1vyrIBhw2wYry2kS6t sSW2E9sTi8TF++SY/ihzRzWjbiKeF2DtMPpRo/z2jBDP04B9mj42j4G034MVnVoJffxh 40iw== X-Gm-Message-State: AMCzsaUerwv4xz6uQJYvZ5ENQwS5PEes78FmxTyNedMHjdfrm07N09bU xSRdLQNSPKHy+FpCmmXnDSu1ErSJDGxs9of0sNxbBA== X-Received: by 10.157.11.36 with SMTP id a33mr7484438ota.303.1507183695678; Wed, 04 Oct 2017 23:08:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.157.63.221 with HTTP; Wed, 4 Oct 2017 23:08:15 -0700 (PDT) In-Reply-To: References: From: Timothy Carstens Date: Wed, 4 Oct 2017 23:08:15 -0700 Message-ID: Subject: Re: [HoTT] Re: Vladimir Voevodsky To: Homotopy Type Theory Content-Type: multipart/alternative; boundary="001a11351b84cad09e055ac68cd9" --001a11351b84cad09e055ac68cd9 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable A few years ago, one of the mailing lists advertised a foundations talk he was to give at the Harvard math department. I flew out to Boston and snuck in, figuring the Harvard people would assume I was MIT and conversely. I was found-out, though, as people were filing out after his talk; of course everyone knows everyone else. I knew his work from my days as a geometer. It was the sort of thing you see in grad school and it impresses its beauty upon you forever. I came out because I'd heard this and that about HoTT and it seemed like a good opportunity to peek into that world. He seemed surprised that someone not in-the-know would make the trip. We talked for a bit. He was generous with his time in a way that struck me as incredibly humble. To the extent that mathematicians have fans, he was good to his. On Wed, Oct 4, 2017 at 9:52 PM, Gershom B wrote: > The NY Category Theory Seminar devoted tonight's session to the > commemoration of Vladimir. We had prior conducted a multi-year group > read of the HoTT book. We had a little discussion of motivic homotopy > theory and the Bloch=E2=80=93Kato conjecture, though none of us are terri= bly > familiar with the topic. We also read aloud some of the tributes to > him written by others, and concluded with a mathematical discussion of > the initiality conjecture and B- and C-systems. > > We took the photo attached (which is rather blurry, due to being taken > by a camera with a timer) at the end. Behind us on the right is the > definition of a C-system, and on the left is the univalence axiom. > > HIs contributions were immense, his vision was far-reaching, and the > impact of his work will continue to unfold in years to come. > > =E2=80=94Gershom > > -- > 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. > --001a11351b84cad09e055ac68cd9 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
A few years ago, one of the mailing lists advertised a fou= ndations talk he was to give at the Harvard math department. I flew out to = Boston and snuck in, figuring the Harvard people would assume I was MIT and= conversely. I was found-out, though, as people were filing out after his t= alk; of course everyone knows everyone else.

I knew his = work from my days as a geometer. It was the sort of thing you see in grad s= chool and it impresses its beauty upon you forever. I came out because I= 9;d heard this and that about HoTT and it seemed like a good opportunity to= peek into that world. He seemed surprised that someone not in-the-know wou= ld make the trip. We talked for a bit. He was generous with his time in a w= ay that struck me as incredibly humble. To the extent that mathematicians h= ave fans, he was good to his.


On Wed, Oct 4, 2017 at 9:52 PM, Gers= hom B <gers...@gmail.com> wrote:
The NY Category Theory Seminar devoted tonight's session to the<= br> commemoration of Vladimir. We had prior conducted a multi-year group
read of the HoTT book. We had a little discussion of motivic homotopy
theory and the Bloch=E2=80=93Kato conjecture, though none of us are terribl= y
familiar with the topic. We also read aloud some of the tributes to
him written by others, and concluded with a mathematical discussion of
the initiality conjecture and B- and C-systems.

We took the photo attached (which is rather blurry, due to being taken
by a camera with a timer) at the end. Behind us on the right is the
definition of a C-system, and on the left is the univalence axiom.

HIs contributions were immense, his vision was far-reaching, and the
impact of his work will continue to unfold in years to come.

=E2=80=94Gershom

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTyp= eTheory+unsub...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--001a11351b84cad09e055ac68cd9--