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,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 5083 invoked from network); 17 Apr 2022 20:26:44 -0000 Received: from mail-ed1-x537.google.com (2a00:1450:4864:20::537) by inbox.vuxu.org with ESMTPUTF8; 17 Apr 2022 20:26:44 -0000 Received: by mail-ed1-x537.google.com with SMTP id b24-20020a50e798000000b0041631767675sf8015309edn.23 for ; Sun, 17 Apr 2022 13:26:44 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1650227202; cv=pass; d=google.com; s=arc-20160816; b=JbCay/Ems1BZbnqbqdcNXlD6vc+0NYFgU7LocKadiR/kxCo0+i2ro6kC3AmSA1box+ 4X2dHB2iKv0jqJKMksVRwShWue0XGc2huzerlxb0i+V57LWoO0cAYTFI1zRh+WigibiK 1dE/2x9H2NEPe/73YgyzYB0FGsGq/XRgHO+n8MiHHxjN1LxkgvsLrmEXvL9R+Dvr2SwE +zsEuGoqnMqeZASlgwjoQqQv7zdtwIMddzaOjd6ck9d/Y69eK4wsvVv5z9ndRF993zxt GqSD5UPNuejaew0F4YWHwt/ngG0TNCTrEXgY35jOq5/qifS612ejFV6G4kQ3ir2EX2Ev iFDQ== 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:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:sender:dkim-signature :dkim-signature; bh=KSnNl/dWMxVIZRnsSyJ0Hj1FEAFEhmo5cNwlvAPlF6E=; b=JnE029hmbqf4Yh/WRAsTYweQmAevRFb4OEFrAPTF/6RcEvIERE+giboyMSSRTH0ucl 916DPg1rxQb7lBkx59WrqRXUGYAro999c/CMD1AprJn3XAPrtilfLzGwERPLfLMRNVsx BbN5vaCpOzV7UIL644H4XNVmiMU6dvt1q8z5DzKdFElz1e5RqTjpun9Yy9PvGZzKNbnD ro9+hkiqb8DenpoL2HkJMTJp+8Kkt2gEUK1mYmejZqq50xxYcUVXFG5yenN6wsPABO3L F5HuOOgPA9q4BSJtjg8UsxGnEb/XWks+rfUz62t6gfK5VVYv6j5sPBU0qf0ZRpN2gdiO bhkw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="Sz4Aj/Mp"; spf=pass (google.com: domain of marc.bezem@gmail.com designates 2a00:1450:4864:20::132 as permitted sender) smtp.mailfrom=marc.bezem@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:mime-version:references:in-reply-to:from:date:message-id :subject:to:cc:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=KSnNl/dWMxVIZRnsSyJ0Hj1FEAFEhmo5cNwlvAPlF6E=; b=O6DB0U/BVowlcsVykvAAmP0M7PCJhmqAnEqQqA7GkBUGOMVEA5YhUTlcmP70neRg1n 3myd7dK0GgD021cXwoKlXp9d6R2+9tOIjB3qI/iUktn4KUlwLyhwfMT0mtX850ey3QMH ABLCmNLef/RU/6NvUGCdL+eg2lv/A49R4EieTuNyER8eaTKn66ow+Thaz/1wKaShwplE ZQPW8wE2uUlYnh6h9N8IAvSXrfXn0ITd58U1o+Pe8Wx+IusGKNBh7ERRnBO888VfFJGE BTMuEXr1HhHpRlvpRn7v0KJgpABZcgOkS0YaoBJpyQUwiFytnyNsuyM8PaBVjYaAWCuR cvwA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=KSnNl/dWMxVIZRnsSyJ0Hj1FEAFEhmo5cNwlvAPlF6E=; b=bbbuTp5C77V0UmmaAHcNdV4IQNfhk46AM4zIO0OyNf/OOzGw/eMRohSNIU8dacQHuX W8A46ecisNAYyC3Xwr+lpMYF0wIuI/qaK3+rqpXkGSL8MHWefFtbF5a8uRxJIGoIoNtF VD1LquD5M5TCpJnzHivkls7xV6GfDNBmiiQAryjVOnZLezrAxcOpUBkahNkvaxoIRHca oEaMtJSCRtRKhcuTYS5mAu8iyym4YfitwRwVSHmlQNRWem+SELY9yyyNEleN8fDnw908 YbcwNxjtiZ5EugP7oQFQyrZIZGEHaDOv5CP/4gvSVgsPL7erwWmWqVPdC54EP2Vk/cxC uolg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:mime-version:references:in-reply-to:from :date:message-id:subject:to:cc: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=KSnNl/dWMxVIZRnsSyJ0Hj1FEAFEhmo5cNwlvAPlF6E=; b=6Q6RH4TSSu0DJTZfVK1IiTQ5I7KfmrjhllhuY+sI7nzK4OFpNT8CLh49P5H9YV965/ CaCeL0OA7I0wzSniFUXOCYP8PLB2KJFhMpTgfFgIt3Ufu33jR5xrGvxukG3ZWDxQEiUe h/MpKCCKDyHhqw0xkZvoRFXdOMZPeZEGWdCafavz3Tt83m2sRP04FFB88oAT96nr8Jr8 uEyEvSPTkdnP7KoLUUtGFsy12Z//zjGINtod+aPFR0PNu69DFYVzBXVLPP9LXfqH04r9 zvAWAOUdMDAJNUHZHlCu+r4cIA6P1Dhm6twfZ2bvYw0nqdcumE94P99wxMvdW0AddtFg Q6lw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM531wRdsUt++g28p7cfXgCdSW0azAtK2e5e17A+p8U1qRpC9av0kA LBUYrSKRI9GAVcoZWOhCYPE= X-Google-Smtp-Source: ABdhPJyvcNCUUzdsAJivw6eFiRkILAVT8jdUl+ghPbP0/N3sfJ836pGTe+FXRTRI6k4nbzTNVnk5Tw== X-Received: by 2002:a50:baa1:0:b0:418:849a:c66a with SMTP id x30-20020a50baa1000000b00418849ac66amr9238113ede.234.1650227202374; Sun, 17 Apr 2022 13:26:42 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:907:628e:b0:6e8:76c2:5876 with SMTP id nd14-20020a170907628e00b006e876c25876ls2328015ejc.7.gmail; Sun, 17 Apr 2022 13:26:40 -0700 (PDT) X-Received: by 2002:a17:907:6284:b0:6e0:f895:15a with SMTP id nd4-20020a170907628400b006e0f895015amr6690293ejc.713.1650227200334; Sun, 17 Apr 2022 13:26:40 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1650227200; cv=none; d=google.com; s=arc-20160816; b=XD1H3OxJCfc9jdmFkFUqpzaNeil0Lr2gC6CHLjaqvNVjyIPAKR+XUb+nSpeUJvrW3b FcpXeSHiaMaSKNDFlPpqfx2wuy2XY+OM3LZiM3AO+295TDehvk0YKLcDiAADZ7d+YfMb wTWk4Vx8ZBjqQ1LNPLwms5eyhbvVijOs//K82NXuVZjZRnKkohnZUu9u7XiVezNvzstv pcdtHIfXV0BttUqo8JO5HZ1mWI+Lowtmz9a6H4rDEdBwRrC6f5ngqOCN22gp6X1WslQ7 Xik6U7oKjkO4O82dMBv4nDtgQAMeST2zTnnn1EuIOyFLyzFk7dDqWR0iGsDGwqFjVj5a HxAw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:dkim-signature; bh=GhdX1o336w5LiUGpqwoTaIsx8yAVhn24c6bpeBuzJ4U=; b=IenKL9BvbKHB7k/pzvhow8474IX1JDxncb8yyf2ips8YRe1Oi/NQuOMI9TC89YmcSu LvEen129b0ePTap7dvfrb/rpt5Jl0ee2AEtRUp5uQbeTkb6auvtx1Lt2lnMYqI5dbLX9 MJ3KbPBcqoLZPxUvJxdr5PQIve8mKXMDQuv3Ram1kF1qThsxhFlgSlsHOnanDkdZS+Ii g+3dQ+B+bEggrJ1tVg4j3DVIgaHURCtHowWItZ/1MD02jmOEw59KqsOjEsjIBLUdJ7X+ LMQsobPBPRDQTvT3iItoPoyn5Li2f3gDAITUL63iO9cbANF8ay1J6CfoEh4e4zWpw310 Sg1w== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="Sz4Aj/Mp"; spf=pass (google.com: domain of marc.bezem@gmail.com designates 2a00:1450:4864:20::132 as permitted sender) smtp.mailfrom=marc.bezem@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-lf1-x132.google.com (mail-lf1-x132.google.com. [2a00:1450:4864:20::132]) by gmr-mx.google.com with ESMTPS id v9-20020a056402174900b00418d53b44b8si495753edx.0.2022.04.17.13.26.40 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 17 Apr 2022 13:26:40 -0700 (PDT) Received-SPF: pass (google.com: domain of marc.bezem@gmail.com designates 2a00:1450:4864:20::132 as permitted sender) client-ip=2a00:1450:4864:20::132; Received: by mail-lf1-x132.google.com with SMTP id w19so21546058lfu.11 for ; Sun, 17 Apr 2022 13:26:40 -0700 (PDT) X-Received: by 2002:ac2:47f3:0:b0:46b:b741:e5ce with SMTP id b19-20020ac247f3000000b0046bb741e5cemr5573354lfp.68.1650227199912; Sun, 17 Apr 2022 13:26:39 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Marc Bezem Date: Sun, 17 Apr 2022 22:26:27 +0200 Message-ID: Subject: Re: [HoTT] On the recent events To: Steve Awodey Cc: Homotopy Type Theory Content-Type: multipart/alternative; boundary="0000000000000caf1205dcdf7603" X-Original-Sender: marc.bezem@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="Sz4Aj/Mp"; spf=pass (google.com: domain of marc.bezem@gmail.com designates 2a00:1450:4864:20::132 as permitted sender) smtp.mailfrom=marc.bezem@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: , --0000000000000caf1205dcdf7603 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Thanks Steve, I fully support your point of view and you say it much better than I ever could. In addition, this just in on sex vs gender: www.theguardian.com/science/2022/apr/17/frans-de-waal-in-other-primates-i-d= ont-find-the-kind-of-intolerance-we-have Marc On Sun, Apr 17, 2022 at 5:05 PM Steve Awodey wrote: > Dear HoTT Community, > > From its beginnings at the IAS, the Homotopy Type Theory and Univalent > Foundations 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 welcomed and encouraged, in the belief that doing so would > ultimately lead to a better and more robust result. Personal ambitions > took second place to the common purpose of creating something new and > important. The experiment of allowing such a diverse group to create a ne= w > field and write its founding document as a community project proved to be= a > success. > > The spirit of cooperation necessary to create a forum where diverse views > and backgrounds are included and respected serves the dual purpose of > creating an inclusive community of scholars where individuals can thrive, > while producing the best mathematical and scientific results as a corolla= ry > of those efforts. This attitude of selfless cooperation, striving for > inclusivity, and valuing a diversity of opinions may have arisen > spontaneously in the setting of the IAS [1], but it was nurtured, then an= d > in the years since, by no one more than by Mike Shulman. Mike has given > tirelessly, generously, exhaustively of his time and energy, and more > importantly of his mathematical ideas and labors, to make our community > what it is today: an exciting and beautiful field of mathematics pursued = by > a group of generous, thoughtful, and tolerant people. Mike is a brilliant > mathematician who I know to also be a kind and generous person. He=E2=80= =99s also > human and occasionally makes mistakes - both mathematical and personal > ones. And when he does, we should afford him the same tolerance that we > would any other member of our community. We owe him our gratitude and > respect. > > Univalent regards, > > Steve > > [1] =E2=80=9CIt is fundamental in our purpose, and our express desire, th= at in the > appointments to the staff and faculty as well as in the admission of > workers and students, no account shall be taken, directly or indirectly, = of > race, religion, or sex. We feel strongly that the spirit characteristic o= f > America at its noblest, above all the pursuit of higher learning, cannot > admit of any conditions as to personnel other than those designed to > promote 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 fi= rst Board > of Trustees. Quoted from "A Diverse Community of Scholars=E2=80=9C, The= Institute > Letter, Fall 2010, > https://www.ias.edu/ideas/2010/diverse-community-of-scholars > > > -- > 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 HomotopyTypeTheory+unsubscribe@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/HomotopyTypeTheory/B0238232-68AD-4F94-B= 5B8-C02BBF00ADDE%40gmail.com > . > --=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/CAJU3%2BYV3EgmRcVVSV6p30u8QhC0KqH%2Bmp0cJ_dr4P0LCwNYjcg%= 40mail.gmail.com. --0000000000000caf1205dcdf7603 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Thanks Steve, I fully support your point of view and = you say it much better than I ever could.

In addit= ion, this just in on sex vs gender:


Marc

On Sun, Apr 17, 2022= at 5:05 PM Steve Awodey <steve= awodey@gmail.com> wrote:
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.= =C2=A0 Various different and even opposing views were not just tolerated bu= t welcomed and encouraged, in the belief that doing so would ultimately lea= d to a better and more robust result.=C2=A0 Personal ambitions took second = place to the common purpose of creating something new and important. The ex= periment of allowing such a diverse group to create a new field and write i= ts founding document as a community project proved to be a success.=C2=A0 <= br>
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.=C2=A0 =C2=A0This attitude of selfless cooperation, striving for= inclusivity, and valuing a diversity of opinions may have arisen spontaneo= usly in the setting of the IAS [1], but it was nurtured, then and in the ye= ars since, by no one more than by Mike Shulman.=C2=A0 Mike has given tirele= ssly, generously, exhaustively of his time and energy, and more importantly= of his mathematical ideas and labors, to make our community what it is tod= ay: an exciting and beautiful field of mathematics pursued by a group of ge= nerous, thoughtful, and tolerant people. Mike is a brilliant mathematician = who I know to also be a kind and generous person.=C2=A0 He=E2=80=99s also h= uman and occasionally makes mistakes - both mathematical and personal ones.= And when he does, we should afford him the same tolerance that we would an= y other member of our community.=C2=A0 We owe him our gratitude and respect= .=C2=A0

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=C2=A0 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.=C2=A0 =C2=A0Quoted from "A Diverse Co= mmunity of Scholars=E2=80=9C, The Institute Letter, Fall 2010, https://www.ias.edu/ideas/2010/diverse-community-of-= scholars


--
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 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.

--
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 = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https:/= /groups.google.com/d/msgid/HomotopyTypeTheory/CAJU3%2BYV3EgmRcVVSV6p30u8QhC= 0KqH%2Bmp0cJ_dr4P0LCwNYjcg%40mail.gmail.com.
--0000000000000caf1205dcdf7603--