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 26430 invoked from network); 15 Apr 2022 12:01:16 -0000 Received: from mail-yw1-x1138.google.com (2607:f8b0:4864:20::1138) by inbox.vuxu.org with ESMTPUTF8; 15 Apr 2022 12:01:16 -0000 Received: by mail-yw1-x1138.google.com with SMTP id 00721157ae682-2ec060cffa5sf65034057b3.4 for ; Fri, 15 Apr 2022 05:01:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=aGWwPfc/yeG2ecDq0C0GNwC8X9zpfO6X/pgJTyyZJJ0=; b=ZM1gDKGScX9EgY9NvzJ3WxN1lSSkjbprI9xiVBs6SfRJspWwERnVlzGYoOC+wdud3c 4qNNes3X/W4nbXV1mx94EJEo0KI0zbs9uAN/JXC2wzta2R/h+6kZfWykl/Bek4Te0ymD p74T/31ST2VeVUHpZ93HljoVXaCjStH8PkK8uleQs5ao6OnXrFINQj/JWSvC3CTpm+18 Qig3Rdjk82FpjsxkiO+Vtxmy0QAY5sxpCXuov6OwHcM/W70Z91oH8y8jxIg9/wZOiFUD 89wFIoJ6fB3zw9+MX2mB5fjzmpOFMX/Ds/UyjHnBWi0sXLPnnJ3ANQGVAH8t5ZLDVcN2 YCRQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=aGWwPfc/yeG2ecDq0C0GNwC8X9zpfO6X/pgJTyyZJJ0=; b=aXQ6bHbZiEhMvxBdnkpnmBE5Th84IjteacaEWKO9nxu9xZoFS6E6u/IAFK/3ikM5ud Z9EuFHPw3t8suQ8WBvaAZJJMSYC2sbvBIYIhTT01jQbpfZ8HeWHsAu2tCJ0BhI4ssqq6 nzQG9hOAH7XdZycbYkWI9GtRJgfaq7iPCrRTsS60u96AuqaMImkHRvRFcJ4InICWGRzK 2HYi2saRMP2BwyLJs8kDIqIeZQtY+x/BiDKmntfPSw7bjmG73T+OVdT8RaNIRduRFjTD ocBrMkoeEmw2KZ4elN7APiTiKlE13Y/1M4SqOXMdthlTcH9pkXKR+9+THcThf8jTqFNK tRXA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:date:from:to:message-id:in-reply-to :references:subject:mime-version:x-original-sender:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=aGWwPfc/yeG2ecDq0C0GNwC8X9zpfO6X/pgJTyyZJJ0=; b=s9ezfzNHyRWKGwBNm4BnYev4gItiAK1PNAGFgurjPJfqhtDzlpO79HPeUm50iNfB3k oDthiJCjY83Xv697VrYe5YfYUBUt+f7ktlRGqzWH6Gl5pqnXQ+O2li6nyU1/fpORcYww bHuLHOfY5B5OanCSMn5WhTho3jC5EA8NAdYbJWf4LfbhpUKkTLc3GIURl0pG4bq+bEKJ RvktSbxbslYa1XjqJACYiS/jQT93yVLIKW+APNMFCImGB9RdBHtuEvPG5fX9DBDV+CGd Wz/JydAQlfTOhYiRIAxJO6F7gD0CvYgQumGlecqXe/V9L5BL+qcSyArhaSG7tL7pkpGA 8Vvw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM531MigNPgDk+fyjjtGXS2IWLoGC+0SIJRReuwFowEvO6I6nXLNk5 Wmtd7FpS7eZx7spMp2JUbI4= X-Google-Smtp-Source: ABdhPJwXoGiNEVHXijwy3j4ZR2naGOC4m4gWohqDa+GDRWBw8tqtEa3saI4TfyQCdYCqnk1QwjYlpA== X-Received: by 2002:a81:cc2:0:b0:2ef:49f9:a8a3 with SMTP id 185-20020a810cc2000000b002ef49f9a8a3mr5648516ywm.344.1650024074861; Fri, 15 Apr 2022 05:01:14 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:1bc4:0:b0:641:aa3a:3725 with SMTP id b187-20020a251bc4000000b00641aa3a3725ls5444652ybb.4.gmail; Fri, 15 Apr 2022 05:01:13 -0700 (PDT) X-Received: by 2002:a25:41cf:0:b0:641:1857:ac7c with SMTP id o198-20020a2541cf000000b006411857ac7cmr5236682yba.281.1650024073388; Fri, 15 Apr 2022 05:01:13 -0700 (PDT) Date: Fri, 15 Apr 2022 05:01:12 -0700 (PDT) From: =?UTF-8?Q?Mart=C3=ADn_H=C3=B6tzel_Escard=C3=B3?= To: Homotopy Type Theory Message-Id: In-Reply-To: <776cef63-67d8-4413-9cf6-c005e548c386n@googlegroups.com> References: <876f6e58-211c-4824-e938-4b915e18d859@fromzerotoinfinity.xyz> <6A66F50E-FAF2-4C31-ABA9-835ED4FDE345@gmail.com> <776cef63-67d8-4413-9cf6-c005e548c386n@googlegroups.com> Subject: Re: [HoTT] M. Shulman, Towards Third-Generation HOTT, April 14, 21, and 28 - HoTTEST Distinguished Lecture Series MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_2002_397859896.1650024072729" X-Original-Sender: escardo.martin@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: , ------=_Part_2002_397859896.1650024072729 Content-Type: multipart/alternative; boundary="----=_Part_2003_1978205608.1650024072729" ------=_Part_2003_1978205608.1650024072729 Content-Type: text/plain; charset="UTF-8" Unfortunately, this is a lose-lose situation. But I find Josh's argument below much more persuasive than mine above, and I agree with every single word. Martin On Friday, 15 April 2022 at 10:29:41 UTC+1 Josh Chen wrote: > I find the situation unfortunate and was also very much looking forward to > learning more from Mike, > > But as someone who followed the events that Andrej has described from the > start, with sadness I support the decision by the HoTTEST organizers to not > hold the lectures immediately thereafter under the auspices of a > Distinguished series. > > If nothing else, I feel it would have been premature that soon, and would > have worked against the goal of welcoming people of all gender > presentations and identities. I am not myself trans and can thus easily > afford to "tolerate" the public declaration of positions that lead to worse > societal outcomes for them. But this is not the case for the significant > number of trans people in, and adjacent to, the HoTT community, some of > whom have to actively hide this part of themselves on pain of e.g. family > violence. We should think about such things when considering using > hot-button phrases like "political correctness" and "cancel culture". > > I certainly look forward to hearing about Mike's (and Thorsten's and > Ambrus's) ideas in another format or on another occasion. > > With respect and kind regards, > Josh > > > -- 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/b5594a51-8412-412f-a3a2-da65b288a775n%40googlegroups.com. ------=_Part_2003_1978205608.1650024072729 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Unfortunately, this is a lose-lose situation. But I find Josh's argument be= low much more persuasive than mine above, and I agree with every single wor= d. Martin

On Friday, 15 April 2022 at 10:29:41 UTC+1 Josh Chen wrote:
I find the situa= tion unfortunate and was also very much looking forward to learning more fr= om Mike,

But as someone who followed the events that Andrej has described from the=20 start, with sadness I support the decision by the HoTTEST organizers to=20 not hold the lectures immediately thereafter under the auspices of a=20 Distinguished series.

If nothing else, I feel=20 it would have been premature that soon, and would have worked against=20 the goal of welcoming people of all gender presentations and identities. I am not myself trans and can thus easily afford to "tolerate" the=20 public declaration of positions that lead to worse societal outcomes for them. But this is not the case for the significant number of trans=20 people in, and adjacent to, the HoTT community, some of whom have to=20 actively hide this part of themselves on pain of e.g. family violence.=20 We should think about such things when considering using hot-button=20 phrases like "political correctness" and "cancel culture".

I certainly look forward to hearing about Mike's (and Thorsten's a= nd Ambrus's) ideas in another format or on another occasion.

=
With respect and kind regards,
Josh


--
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.c= om/d/msgid/HomotopyTypeTheory/b5594a51-8412-412f-a3a2-da65b288a775n%40googl= egroups.com.
------=_Part_2003_1978205608.1650024072729-- ------=_Part_2002_397859896.1650024072729--