Re: [HoTT] Re: Vladimir Voevodsky

[Timothy Carstens <intov...@gmail.com>]

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

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 <gers...@gmail.com> 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–Kato conjecture, though none of us are terribly
> 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.
>
> —Gershom
>
> --
> 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.
>

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