From: Gershom B <gers...@gmail.com>
To: Homotopy Type Theory <homotopyt...@googlegroups.com>
Subject: Re: [HoTT] Re: Vladimir Voevodsky
Date: Thu, 5 Oct 2017 06:52:51 +0200 [thread overview]
Message-ID: <CAM8RHpHcu4sv-CBOs7QHoKm_kmp_1O5nvSE6FPJECt=2_rJx6w@mail.gmail.com> (raw)
In-Reply-To: <a1d7884e-d407-4430-922e-69eddc29d61f@googlegroups.com>
[-- Attachment #1: Type: text/plain, Size: 827 bytes --]
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
[-- Attachment #2: Ny Category Seminar Oct 4.jpg --]
[-- Type: image/jpeg, Size: 197578 bytes --]
next prev parent reply other threads:[~2017-10-05 4:52 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-10-01 4:25 Daniel R. Grayson
2017-10-01 4:54 ` Daniel R. Grayson
2017-10-01 8:07 ` [HoTT] " Thomas Streicher
2017-10-01 13:18 ` Peter LeFanu Lumsdaine
2017-10-01 15:06 ` Joyal, André
2017-10-01 14:48 ` [HoTT] " Steve Awodey
2017-10-01 17:08 ` Andrei Rodin
2017-10-01 20:06 ` [HoTT] " Nicolai Kraus
2017-10-01 20:08 ` Chris Kapulkin
2017-10-02 13:20 ` Marcelo Fiore
2017-10-02 14:00 ` Andrew Polonsky
2017-10-02 15:22 ` [HoTT] " Andrej Bauer
2017-10-04 22:52 ` Martín Hötzel Escardó
2017-10-05 4:52 ` Gershom B [this message]
2017-10-05 6:08 ` [HoTT] " Timothy Carstens
2017-10-05 10:41 ` [HoTT] " Thierry Coquand
2017-10-05 13:38 ` Daniel R. Grayson
2017-10-06 5:41 ` [HoTT] " Michael Shulman
2017-10-11 15:26 ` Daniel R. Grayson
2017-10-11 17:47 ` Daniel R. Grayson
2017-10-11 19:06 ` [HoTT] " Steve Awodey
2017-10-12 19:06 ` Daniel R. Grayson
2017-10-12 19:24 ` Daniel R. Grayson
2017-10-12 21:55 ` Martín Hötzel Escardó
2017-10-12 22:21 ` [HoTT] " Michael Shulman
2017-10-14 21:12 ` Martín Hötzel Escardó
2017-10-14 21:20 ` Martín Hötzel Escardó
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAM8RHpHcu4sv-CBOs7QHoKm_kmp_1O5nvSE6FPJECt=2_rJx6w@mail.gmail.com' \
--to="gers..."@gmail.com \
--cc="homotopyt..."@googlegroups.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).