From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 26916 invoked from network); 17 Apr 2022 15:05:52 -0000 Received: from mail-ua1-x93f.google.com (2607:f8b0:4864:20::93f) by inbox.vuxu.org with ESMTPUTF8; 17 Apr 2022 15:05:52 -0000 Received: by mail-ua1-x93f.google.com with SMTP id 104-20020a9f22f1000000b0035d2386d05bsf5493663uan.0 for ; Sun, 17 Apr 2022 08:05:52 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1650207950; cv=pass; d=google.com; s=arc-20160816; b=rWn2iMu7z/VmrLFB6lli8OtY+00CJmA5cVQbcdB/m641Zyc4CBno4o9RpeMYOYX8K6 Bw9Y8UicAdrfn3Ae5GFM9uyogJHUoLHFX0PaaIvbozZkqiUHJXg0h4ewJLwtvSZi1khc 8OiL7YGYxeG0ys3zU0uDWtrIaLydQi+b133a1IRthndXsg93H3HoQ7+JbmM7Z9BVDkEn Qmb07GM1SLjQBm1aALJxG5AN0urFr+yEIVeWg/GjJKA//q/0KLkb7rGpXLuGw3yN2LFm /uC2EHcZHmOKK5KiH4gAVDidWaFADhS/P5OQvaPPq8CkL5AHWdk+Whkj9yuntyJwSlZX 4bqg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:to:date:message-id:subject :mime-version:content-transfer-encoding:from:sender:dkim-signature :dkim-signature; bh=qcYyLjh2jMt3LBnT/WHATtwsfilUawPBpp3IizJvdDw=; b=ue4gQDBgXHxBPe7GDqb1CSKDeuutqFhFGFxNyfFivGT/gNQTQD9mAwPkbhNWnZXw0w HBEqgPANGggo6sk9c9LtcppP3cx0O5Di2TsovIyz5bwsgGfS9rq47CQ7hq8oNCXRKUVP 5taH3Zc8DyRYvwbsWtoAOn/N2n9HL1kRLxQSAhyLrXsHYaFh5iC+A7b7mdPS+0IXs7E1 A9n9hNTYIYgk6seiEDciy3nkQCyEa/knlcD/LH7tVFZyzBfQqvYDEmyvqJZ/v+OwK6nS ImOgL/whdK8IGtZkIFyaUyvcmtJb7npBv3gHiR/AA1MtK1A1gq72Yr4cXeXM8WEq5eAv 0/Ow== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=dbJPohWc; spf=pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::733 as permitted sender) smtp.mailfrom=steveawodey@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:from:content-transfer-encoding:mime-version:subject :message-id:date:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=qcYyLjh2jMt3LBnT/WHATtwsfilUawPBpp3IizJvdDw=; b=IYA3TQQf8vyEZvoe/oDwv/GzmiTAA4XMltsdCWr9Od3kRDsghSsloAzdoZDrecHVFW Gk+TX6SDRQZo0OEy624b/VfIyPmXBi5RWtAyQbFZIAI9KXFp28whwt575u7hhVoW6BCp UcJda0BTAdPasfcL+J8m98BRSEqzGf9QplgqMhXQ9U30TSCJ5PHvt2K7avNnCTPGkofb IgHjWn6nxl2tNXYUp9pwukVGRdeLVqN0YEiRSgNzj/GojOLjpgp+thkdf24M7z8H+yLf 0yn3z+crr56TV2LE72GaRqRw2To3jYWwQHsibJvvlWtQp/EzK3GAa8NpxCt/6VkJ+eGS rMDg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:content-transfer-encoding:mime-version:subject:message-id:date :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=qcYyLjh2jMt3LBnT/WHATtwsfilUawPBpp3IizJvdDw=; b=j+9Ki2qIuE3E9dIbNQlqG/bH52hH41FMItCh1hru8h4s6As5A4vMScsE1cz6Eqm4va uu9oA+DoWXIxSA2oeHithU24R3U/Qkj9OQl9IVR2lFiTi/4gFDtTJImrXKy2lHezUO8B 32vsCJZ/x6EQC0Ed3bA7cqcGHYOlWEdFcPwihYoerB29UAkswmhiBn6AvDF7GsoLty/q iXFBZFjOdPMW325FVaIGAQR/8UITkfDzd/xIEH96753HhQPRXHB9EEiewu63eOUuSBzP EudxLIvmWsFbjRVWP0nzeO9FlWuddld9xX15lzQZFmxB5X7v9kb8i0Paom0TnNdtcEUZ 1ZZQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:from:content-transfer-encoding :mime-version:subject:message-id:date:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=qcYyLjh2jMt3LBnT/WHATtwsfilUawPBpp3IizJvdDw=; b=0LglgjDxFQVNlQ5ZyvNiLo5YUsjPcVDRlV82Fuib9kGewOSRP4TkuYcU3WMk8DNOyd QjJbAJdBsO7JRZi04X3VKcaj7qKEuQzLBM05A0kGtbhHbnDx7y5SXqj1EekEnBOiIk87 gO2WxS7LybSiOc0IeR11Og393Ck+sB5X/9pPy4l6zMvx/wjk4C2tAlfjm6sqgLkuTRyp KEH3mtNc4dvznkZidcKL9PNDW3MNSEGfN1awzpcFYrlBpWrx0xc+vMwxDL6BmcbjeCwx 2J3gVGGArXH8TQFxY9Hw43ZAneRsXfwkWKk3oUgSTdt1GYetHu2LUTML8EOOoUx2pFJg jVFg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533PhKhkKneTwSwsrG9ACyzA+kmm/RatpmNiBoZmtj+A6VuZuQ+2 hw9cYYQ3cpdEChep/J7a3Ws= X-Google-Smtp-Source: ABdhPJyHool15EyzYipB7EKycnPxLSFk59zasMF0CNA5vAbIaJqH5fjdPjX73oTrQxBgkNvZZlPXOw== X-Received: by 2002:a67:ca0b:0:b0:327:c210:f726 with SMTP id z11-20020a67ca0b000000b00327c210f726mr1926154vsk.82.1650207949864; Sun, 17 Apr 2022 08:05:49 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1f:ca41:0:b0:337:e8d5:ba1b with SMTP id a62-20020a1fca41000000b00337e8d5ba1bls2059819vkg.10.gmail; Sun, 17 Apr 2022 08:05:48 -0700 (PDT) X-Received: by 2002:a05:6122:e1f:b0:348:e42e:e4c5 with SMTP id bk31-20020a0561220e1f00b00348e42ee4c5mr1758619vkb.41.1650207948739; Sun, 17 Apr 2022 08:05:48 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1650207948; cv=none; d=google.com; s=arc-20160816; b=ACa+bRQ9eoT/ioqjiVPZzlgUvaf/NXHBLjptAwsMb2B2lPzKeUkkz0fUNFKOv1tF9/ T+TDZvXWGY8Yn9/ol07zcUJEQsnr/MnuFCppJX1Em1c7LCqdjiGOYEihh2jshWPdbfv2 RZEcfJFuEOml5NPoHpcL1TzgMRbmOwHBK2gegxu3WgWccBLAKsQ3tD7wT+3jU3Y3Oi0v V7juCzMJ3pHEMg7FMJHqnWtxs25SUFOsJww9sl6Epj9cA45IqPvX3qGKomoHQ22x6R+p tSLWgtSGs7YW0HYzWiXZazpD7D4NlvjI4fSkK2noT0NhNyjxo+VljkquYIDbs6ek6ZQg 0sPw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:date:message-id:subject:mime-version:content-transfer-encoding :from:dkim-signature; bh=cvkBG7Fs84/Otig7bPuElymTo8m0T/5QisKTCHNztgY=; b=rUVVu3MTQhaAVa6MEV+Emwkg9XtOMwZnTIaD+dZ0+CJTWvbMdvm9ugFxVLkqgg8DYD gQcHsYddNwyzy/bn2YfY+TnqamH3dJHyBSC5VH/SArZqk6UPg0BCI4OmUzXZ1l1O7Nr5 4lMEy6wax7wKaBxh7tP3UF6rWFTApk3Z+nx+9bhdtHxVp8s6apolUpT17OKYLadbhf5b E9TSMLywkcosSyFUw6ihREvoqJwHE9vi7pqUD1wxin+ISCLxj/oz+K8ZvonhGjwpjRzg 02HkVmKJEIGxfMpsPf+ujWiuwJjTqHbqQLd4Oj72yM2MoYqqvl+Llhi2M+BUYM3iIW/D vbaQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=dbJPohWc; spf=pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::733 as permitted sender) smtp.mailfrom=steveawodey@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-qk1-x733.google.com (mail-qk1-x733.google.com. [2607:f8b0:4864:20::733]) by gmr-mx.google.com with ESMTPS id 5-20020a056122070500b0034911e6ef9fsi579702vki.4.2022.04.17.08.05.48 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 17 Apr 2022 08:05:48 -0700 (PDT) Received-SPF: pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::733 as permitted sender) client-ip=2607:f8b0:4864:20::733; Received: by mail-qk1-x733.google.com with SMTP id j6so9707464qkp.9 for ; Sun, 17 Apr 2022 08:05:48 -0700 (PDT) X-Received: by 2002:a05:620a:4015:b0:680:e92a:a79d with SMTP id h21-20020a05620a401500b00680e92aa79dmr4425578qko.678.1650207948101; Sun, 17 Apr 2022 08:05:48 -0700 (PDT) Received: from smtpclient.apple (pool-100-6-43-241.pitbpa.fios.verizon.net. [100.6.43.241]) by smtp.gmail.com with ESMTPSA id b186-20020a3780c3000000b00699fbe4a238sm5170650qkd.69.2022.04.17.08.05.47 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 17 Apr 2022 08:05:47 -0700 (PDT) From: Steve Awodey Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.80.82.1.1\)) Subject: [HoTT] On the recent events Message-Id: Date: Sun, 17 Apr 2022 11:05:46 -0400 To: Homotopy Type Theory X-Mailer: Apple Mail (2.3696.80.82.1.1) X-Original-Sender: steveawodey@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=dbJPohWc; spf=pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::733 as permitted sender) smtp.mailfrom=steveawodey@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Dear HoTT Community, >From its beginnings at the IAS, the Homotopy Type Theory and Univalent Foun= dations research program has been an unusually communal effort, consisting = of individuals from diverse scientific, national, and personal backgrounds.= Various different and even opposing views were not just tolerated but wel= comed and encouraged, in the belief that doing so would ultimately lead to = a better and more robust result. Personal ambitions took second place to t= he common purpose of creating something new and important. The experiment o= f allowing such a diverse group to create a new field and write its foundin= g document as a community project proved to be a success. =20 The spirit of cooperation necessary to create a forum where diverse views a= nd backgrounds are included and respected serves the dual purpose of creati= ng an inclusive community of scholars where individuals can thrive, while p= roducing the best mathematical and scientific results as a corollary of tho= se efforts. This attitude of selfless cooperation, striving for inclusivi= ty, and valuing a diversity of opinions may have arisen spontaneously in th= e setting of the IAS [1], but it was nurtured, then and in the years since,= by no one more than by Mike Shulman. Mike has given tirelessly, generousl= y, exhaustively of his time and energy, and more importantly of his mathema= tical ideas and labors, to make our community what it is today: an exciting= and beautiful field of mathematics pursued by a group of generous, thought= ful, and tolerant people. Mike is a brilliant mathematician who I know to a= lso be a kind and generous person. He=E2=80=99s also human and occasionall= y makes mistakes - both mathematical and personal ones. And when he does, w= e should afford him the same tolerance that we would any other member of ou= r community. We owe him our gratitude and respect. =20 Univalent regards, Steve [1] =E2=80=9CIt is fundamental in our purpose, and our express desire, that= in the appointments to the staff and faculty as well as in the admission o= f workers and students, no account shall be taken, directly or indirectly, = of race, religion, or sex. We feel strongly that the spirit characteristic = of America at its noblest, above all the pursuit of higher learning, cannot= admit of any conditions as to personnel other than those designed to promo= te the objects for which this institution is established, and particularly = with no regard whatever to accidents of race, creed, or sex.=E2=80=9D =E2= =80=94 IAS founders Louis Bamberger and his sister Caroline Bamberger Fuld= , in a letter of invitation, dated June 4, 1930, to the Institute=E2=80=99s= first Board of Trustees. Quoted from "A Diverse Community of Scholars=E2= =80=9C, The Institute Letter, Fall 2010, https://www.ias.edu/ideas/2010/div= erse-community-of-scholars --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/B0238232-68AD-4F94-B5B8-C02BBF00ADDE%40gmail.com.