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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,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 6016 invoked from network); 14 Apr 2022 11:49:16 -0000 Received: from mail-wm1-x339.google.com (2a00:1450:4864:20::339) by inbox.vuxu.org with ESMTPUTF8; 14 Apr 2022 11:49:16 -0000 Received: by mail-wm1-x339.google.com with SMTP id q6-20020a1cf306000000b0038c5726365asf2132783wmq.3 for ; Thu, 14 Apr 2022 04:49:16 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1649936955; cv=pass; d=google.com; s=arc-20160816; b=aR7L1X7AgyXtesMMYv+ziBxbo1be+dqe0pDErg/sgB0/ohdZBFihYc/jXQP8Lvlhbr RsfLxCn0ZZq8gfLhq+u1cl6svru4bPCeUtceT1VTpUpBJRNtYKIDDuVAXbgPz+R3WsCg FiJwDM3/W5fGRiqjaUks8EHSP/DWQLO90M0xa5YYwmQOVJpkeERD+FK7lEeFwl38n1bi emH40bxa7G4Jg6+RajOyU8ruu53vMRQvl6vzxcb+gM7c8BwvnU5s/vd+PgOUichrYATM Qap/Ez2kX8NRgE0mVLokrMy8xOQUjKlMwng0kh5b8YPfcjIhNYvKFdB7uU7CDuhBNCvz 5w+A== 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:subject:message-id:date:from :in-reply-to:references:mime-version:sender:dkim-signature; bh=bFPjzlPH8gpsUKoAcIm/57rBtYHTHFdaWgUpSXOEhDc=; b=panIVVYHjDzBBllAtkBsFbO7upKIk+ywziXRtXpkXfArOMkhkRNLBw2n0Rlr0A0gu4 t+yiPjmdnFeIrrJi6lfGTr9VQSjis9T6/n2ZXTK/U7EAubsxd/nkkdBfx6b8dscmQzSp rywps1usflfKsV7JuKHbcHdfYtjsxVmOyBtSmJqND5mU+pYkQuKkJSs9Hr/s0KcbAgLj UFoBtSEnb2USMCP1ykbcxvhI99HcA1k89t3gPJfLghCU9xTpUOUBc7Xo2KdoSUgSHxHM v8JpJrk0aWU25S1pNn8M3a800+zSThfcRGUcNRXdfx1pGQUylldyQo4Cm0yLOjCJRJVr hBbw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@andrej-com.20210112.gappssmtp.com header.s=20210112 header.b=P5zjwBNx; spf=neutral (google.com: 2a00:1450:4864:20::12f is neither permitted nor denied by best guess record for domain of andrej.bauer@andrej.com) smtp.mailfrom=andrej.bauer@andrej.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:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=bFPjzlPH8gpsUKoAcIm/57rBtYHTHFdaWgUpSXOEhDc=; b=BTnoMb6vc5madMrxMpxBIMsvbQX4le+LNmMJbuiggiYsRCOB8AhkkneGTY6Sk1DXlv tEX+9Lf4vmfbIYtQEPu27JYex45+9RVXqxakwdBWy5odbjQjEWTd0B7pAd/g2cChE0PV 9dZ4CWr2LF55tqPamJM0I19rE0rCcpb68uYsSohIJUxe7ZBajmK0/nkGX6goAjO7XrIC V5/3etk9w9jGZcrDeSrVAXefgdy0ORofZEf+/9Pz/sojioRqhXjhbElMjq710dvuvhNW +JivJuoUriZyptgoWXQzZ0vhESkPO3l3ItC8uvxfz1ZrSUaC9FJLzZ/KcvrK/RA70srf itqA== 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: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=bFPjzlPH8gpsUKoAcIm/57rBtYHTHFdaWgUpSXOEhDc=; b=Qv7BSAU+rqK+kUh7hd7MTMZLXfDiutM+Bi+eCKqE7VKE3BBHrAcrvRivb21NIemJvk fDqtIx77Q+1FmGRDxERGFsn01Dc1CY9PU1CGm1naNaH3MdgA7EWOh++pI+hJIafcrz7w R/NTGoNxtSNPYkVaq/Lh+Dt3scVU3Q/jQ+Kjog4C9lBpnklHIqvTST6JFmjbV1Dkoyu+ Y5rPk6em4Aed1ceTmg8Z7EtzCTD4SvLWdwILlBD4Si6Z9pL1RK0RVre+3ZTU4X4oQcCS UBWCRnbP3APpBSngR01Uy5o1smJacH3eNFdi8UlIPAme2CbiS5n5Pu3F4YZSzJEiKVq5 ny1A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM531Dt05fu83XQ4HZdNTQn9/MaGlLrUyg9yIpBJyO7RO/GRCYs2BX 9qVpMAbCdH56LZlJBwIhRQk= X-Google-Smtp-Source: ABdhPJzT9LkNKlK6DXAwZhpB3VxxlwO6es7/502wqy4WB8mQNCW/YQmPGYxaOFUhJM/hfBtcMxOptg== X-Received: by 2002:a1c:f20d:0:b0:38e:ab1c:3f70 with SMTP id s13-20020a1cf20d000000b0038eab1c3f70mr3280740wmc.27.1649936955646; Thu, 14 Apr 2022 04:49:15 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a5d:64c2:0:b0:209:e1aa:8786 with SMTP id f2-20020a5d64c2000000b00209e1aa8786ls1704749wri.3.gmail; Thu, 14 Apr 2022 04:49:13 -0700 (PDT) X-Received: by 2002:a05:6000:18f:b0:207:a3ea:4a42 with SMTP id p15-20020a056000018f00b00207a3ea4a42mr1833685wrx.147.1649936953848; Thu, 14 Apr 2022 04:49:13 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1649936953; cv=none; d=google.com; s=arc-20160816; b=plqIrwR1CMIMLZsJLojOYQuDX8EFaWBH5FDQ0TRaIBfqKrcj51J2PcMOoX9wTRQq+K 7PWWCzsyZxvcfWp5tvKQBtQlniWmL3d9JAWqnvL6J3qkP5UIfzN9+NVbYVtketz+0hss Q8X0QOBim2mLEa0MA2PAFTvEN9JitYVvqSZYWSFrZ5y0TIyed98cadKoSorgoKVn39Mr RFOIFry52QV4Sn5TMHklfrHhFKoG2jI28bvoT6/DVaG68SbyLtT2qYp+NiEWyBcnQsL6 b/3kiC5+xQd+19Ja4p3xk3uno6rFSj/vpgulV1aNhMvwY2k55NkHq4FhpNv2ll776Irc SyOQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=TNgLnuFiTxcBKCm/Vbv0DBV0lxHGq54Qaf/hVNFPUAs=; b=xnudDGz0tO62hnwcx5/2hr8nop9XcJdmgaoJIfa1nKrB3db7m9HCiV42JUvQhnTYG/ nJyPhdKOjHSLg/9BmIRi+Hy/3y+7CWHFdln+WBF/tdot2AbcnMspEZazmSSeVicmCLPQ 26pX+Y6UpboTXxezrvd6niozhZaUlSFUagtiH/9gDJeYb1wn2EQb8E/d5yucZ5m8Ope/ CaLH81RYGCdUiGRl040lzIPOYwcgd99Ss5aF7wcS4cc23X4cZUbiN45ONcS09QNi10gW 1iNGkvq5VHD2RR72brNIJnCwTtx8E2dRA1t0JumLiI4FU9MOzB1ikA531hIKDJPtTXbi s3aA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@andrej-com.20210112.gappssmtp.com header.s=20210112 header.b=P5zjwBNx; spf=neutral (google.com: 2a00:1450:4864:20::12f is neither permitted nor denied by best guess record for domain of andrej.bauer@andrej.com) smtp.mailfrom=andrej.bauer@andrej.com Received: from mail-lf1-x12f.google.com (mail-lf1-x12f.google.com. [2a00:1450:4864:20::12f]) by gmr-mx.google.com with ESMTPS id o35-20020a05600c512300b0038cac42709csi94308wms.1.2022.04.14.04.49.13 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 14 Apr 2022 04:49:13 -0700 (PDT) Received-SPF: neutral (google.com: 2a00:1450:4864:20::12f is neither permitted nor denied by best guess record for domain of andrej.bauer@andrej.com) client-ip=2a00:1450:4864:20::12f; Received: by mail-lf1-x12f.google.com with SMTP id x33so8658625lfu.1 for ; Thu, 14 Apr 2022 04:49:13 -0700 (PDT) X-Received: by 2002:a19:505e:0:b0:46d:12df:d6b3 with SMTP id z30-20020a19505e000000b0046d12dfd6b3mr1611308lfj.111.1649936953499; Thu, 14 Apr 2022 04:49:13 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Andrej Bauer Date: Thu, 14 Apr 2022 12:48:56 +0100 Message-ID: Subject: Re: [HoTT] Re: M. Shulman, Towards Third-Generation HOTT, April 14, 21, and 28 - HoTTEST Distinguished Lecture Series To: HoTT Electronic Seminar Talks , Homotopy Type Theory , categories@mta.ca Content-Type: multipart/alternative; boundary="00000000000003f4ac05dc9be22e" X-Original-Sender: andrej.bauer@andrej.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@andrej-com.20210112.gappssmtp.com header.s=20210112 header.b=P5zjwBNx; spf=neutral (google.com: 2a00:1450:4864:20::12f is neither permitted nor denied by best guess record for domain of andrej.bauer@andrej.com) smtp.mailfrom=andrej.bauer@andrej.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: , --00000000000003f4ac05dc9be22e Content-Type: text/plain; charset="UTF-8" The organizers of the HoTTest seminar did not refer explicitly to the events that prompted them to take their decision, which leaves many people surprised and in the dark. I worry that it may also lead to unfounded speculation and uninformed opinions. As one of the administrators and a HoTT book author I led an effort to bring to conclusion the episode that the HoTTest seminar organizers implicitly referred to. Please allow me then to give a short but incomplete account of the events of the past days as I see it. A while ago, there was a HoTT book pull request #1101 asking that "he or she" be replaced with "they", for reasons of inclusivity. The ensuing discussion took on a wider context. Mike Shulman and Dan Grayson expressed views which the other participants strongly opposed and found offensive. Many members of the HoTT community, including authors of the HoTT book, readers, and students, spoke out against Mike's statements and presented reasons for inclusivity. Some described how the issue affected them personally, which I am sure was not easy to do. Overall the discussion was civilized, even though emotions ran high. The administrators of the HoTT book repository, one of whom is Mike Shulman, unanimously decided to implement the proposed change, as it had very clear support. In addition, Mike Shulman acknowledged that the pull request was not an appropriate place for political discussions, and apologized for derailing the conversation in that direction. He expressed regret that his attempts to explain his views hurt people's feelings. He stated that he meant no harm to anyone. At present there is a related issue open, issue #1111 , in which a Code of conduct is being discussed, with the purpose of making sure that such incidents do not happen in the future, and that the community can continue to be welcoming to everyone. I urge anyone who intends to express an opinion to not base it solely on what I have written here. With kind regards, Andrej -- 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/CAB0nkh2xM3m9A61Y5Pp5XbzH88SWSZy7gPqxkJxX%2BQTPLWXQ3w%40mail.gmail.com. --00000000000003f4ac05dc9be22e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The organizers of the HoTTest seminar did not refer explic= itly to the events that prompted them to take their decision, which leaves= =C2=A0many people surprised and in the dark. I worry that it may also=C2=A0= lead=C2=A0to unfounded speculation and uninformed opinions. As one of the a= dministrators and=C2=A0a HoTT book author I led an effort to bring to concl= usion the episode that the HoTTest seminar organizers implicitly referred= =C2=A0to. Please allow me then to give a short but incomplete account of th= e events of the past days as I see it.

A while= ago, there was a HoTT book pull request #1101 asking that "he or she" be replaced wi= th "they", for reasons of inclusivity. The ensuing discussion too= k on a wider context. Mike Shulman and Dan Grayson expressed views which th= e other participants strongly opposed and found offensive. Many members of = the HoTT community, including authors of the HoTT book, readers, and studen= ts, spoke out against Mike's statements and presented reasons for inclu= sivity. Some described how the issue affected them personally,=C2=A0which I= am sure was not easy to do. Overall the discussion was civilized, even tho= ugh emotions ran high.

The administrators of the H= oTT book repository, one of whom is Mike Shulman, unanimously decided to im= plement the proposed change, as it had very clear support. In addition, Mik= e Shulman acknowledged that the pull request was not an appropriate=C2=A0pl= ace for political discussions, and apologized for derailing the conversatio= n in that direction. He expressed regret that his attempts to explain his v= iews hurt people's feelings. He stated that he meant no harm to anyone.=

At present there is a related issue open, issue #1111, in which a C= ode of conduct is being discussed, with the purpose of making sure that suc= h incidents do not happen in the future, and that the community can continu= e to be welcoming to everyone.

I urge anyone who i= ntends to express an opinion to not base it solely on what I have written h= ere.

With kind regards,

A= ndrej




--
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://g= roups.google.com/d/msgid/HomotopyTypeTheory/CAB0nkh2xM3m9A61Y5Pp5XbzH88SWSZ= y7gPqxkJxX%2BQTPLWXQ3w%40mail.gmail.com.
--00000000000003f4ac05dc9be22e--