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 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 12044 invoked from network); 25 Apr 2022 09:36:17 -0000 Received: from mail-yw1-x1137.google.com (2607:f8b0:4864:20::1137) by inbox.vuxu.org with ESMTPUTF8; 25 Apr 2022 09:36:17 -0000 Received: by mail-yw1-x1137.google.com with SMTP id 00721157ae682-2dc7bdd666fsf122566367b3.7 for ; Mon, 25 Apr 2022 02:36:17 -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=mIhB9mD1izsfF0ZoG1myBj3jK2243ltxdUtKggSqNe8=; b=t3G9vOvz2nA/7gV5g3fAkUrt/Tk85V7Zb67G7gzYa381adipYNosFCP1VnIyS+MZ0d I+Amjd/12H7yHksQ3h2b1lwnkRior+mQ4Eo/pvsBu0tbRKKL26v6HEGxOViMh5Nt9r0S fvGC2p6c6StLudNg108rrF74h5tMYl6cocKC/NdAEn6YIul6MF4RGbH0/U2hNmIQEHL+ fwaqjJQkIO4NlAmHsP+bDFbD6Ancz/ZUdnUHAJ5aITlGvIm+v4ZOP7wUSvtKLkIshbKS 3jdcYHcSACURUyEffljNnnqppKXsBEl4RbZmcvPRPVkibmBz9jUN4XWd2ExamacSTIyV W13w== 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=mIhB9mD1izsfF0ZoG1myBj3jK2243ltxdUtKggSqNe8=; b=C0cCambWcibR/cXIngM/L59HKuCHMy1I7IrQFkaytF8R6ByXM45F28dA9hAlWjo+g8 R24LzZRbHnA230Oh/IT0mYDELX3YcOQgO6GQeMFNdnZBiPgGmjsiHUX0yTOI3Juqwl+k ++/jzPHvPkNymhAXVX9i9WZa+j9mfKrf5me7iILNZWg3eLtrMrHAQbcMW/GFm0qLjMhx lzlCTFI4C7YWW+f7+ikMxflzER+wKOyHDmHWSIFwYYy7kcFf+iye0OIgDV+n/kFqTEe3 mLxHlTCCUjOwuEpuIg3w6KM+pm+dL5RUL1RX08PbpUX7+/G2hFLE+bnnO+WL4UHNFjhP CPKA== 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=mIhB9mD1izsfF0ZoG1myBj3jK2243ltxdUtKggSqNe8=; b=opfhlodHQOa/ZSU7vh8udGAi0nb4hBVjla1Ld+pS9eefcIbklxKw8BYNyp5IZ6SPlc 9FlNR1GVMA6EdTXAgQVT3+tyr3+4LKA87cY+0u5tUjjT3V3p8pG/4enqtje+YuAgejOb C3jOG335MgQuRXJVJmNQMGWKkxx84wzfdGep+7cOuFWd69Qur4od1XpgYx7UiVAype50 JWGJFkSF7jN9MuGlH6PGyDYXiTnmZKRFBRSq/auL+b5fvareLmOgsNN6jwtNX+bKr7Ab whndgu5C+AoBYNz3jG2J91B5Nhmt0bPpYPpkYj8tOM21v7eE7Bvd+UtJbcyjDG+3Y9CP fvhw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5330m5awwOwS0Up0Nv9ZxiUK7qHYVd+OMLiT6FYBxTo+mP3s7/83 vDWvFwiKtBfOPvLelJcDsFg= X-Google-Smtp-Source: ABdhPJz98uBvt3iJ+6sAMpDvNnqOlE3xckr5llHJSOdC+OByLtJPvnmzQbeUrw6L7yJueiZx4UYI8Q== X-Received: by 2002:a25:bc6:0:b0:648:4034:d2d with SMTP id 189-20020a250bc6000000b0064840340d2dmr6703108ybl.326.1650879375750; Mon, 25 Apr 2022 02:36:15 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6902:13c8:b0:624:97df:9f91 with SMTP id y8-20020a05690213c800b0062497df9f91ls11907086ybu.11.gmail; Mon, 25 Apr 2022 02:36:14 -0700 (PDT) X-Received: by 2002:a5b:f83:0:b0:63d:a251:2c51 with SMTP id q3-20020a5b0f83000000b0063da2512c51mr14371436ybh.594.1650879374369; Mon, 25 Apr 2022 02:36:14 -0700 (PDT) Date: Mon, 25 Apr 2022 02:36:13 -0700 (PDT) From: David To: Homotopy Type Theory Message-Id: <8d56b68f-2473-4f50-9d00-28cc58fbd8e7n@googlegroups.com> In-Reply-To: <065d081e-b470-7f00-8090-a8cd15ed4592@gmail.com> References: <876f6e58-211c-4824-e938-4b915e18d859@fromzerotoinfinity.xyz> <6A66F50E-FAF2-4C31-ABA9-835ED4FDE345@gmail.com> <776cef63-67d8-4413-9cf6-c005e548c386n@googlegroups.com> <065d081e-b470-7f00-8090-a8cd15ed4592@gmail.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_6450_1332208101.1650879373670" X-Original-Sender: simplicialboy@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_6450_1332208101.1650879373670 Content-Type: multipart/alternative; boundary="----=_Part_6451_428823273.1650879373670" ------=_Part_6451_428823273.1650879373670 Content-Type: text/plain; charset="UTF-8" I don't know what you mean that 'an attitude of social inclusion is of the utmost importance'. In terms of priorities, it's certainly down in the double digits for me (and likely for the rest of you too, if you're being honest with yourself), not to say I don't find it important at all, just that I think 'utmost' is overegging the custard. Also, I don't think that anything that Mike said could possibly be construed as him having an attitude of exclusion. He shows up in a thread, gives his two cents, and then is put upon by people making demands that he speak in a certain way. I have to ask: On what authority do these people rely to make such demands? If it's not on the grounds of authority, the burden is on them to persuade. What happened to Mike is a clear-cut case of academic bullying. People who can't clearly stick up for him and want to hem and haw and sit on the fence are absolute cowards, and the people condemning him outright are not living in the real world. Best, David On Saturday, April 23, 2022 at 8:36:55 PM UTC+1 anuyts wrote: > Dear all, > > Without implying my agreement with Davids entire mail, I do think the > following argument: > > constantly changing, mind > > > is rather important. I hope we all agree that an attitude of social > inclusion is of the utmost importance. However, it is undeniable that > insights as to what it entails to be socially inclusive are rapidly > evolving (and understandably so: the cultures that we all grew up in are > the same ones that produce the phenomena of social exclusion that we should > seek to avoid). Even ignoring for a moment the possibility that this > evolution may give rise to legitimate differences of opinion (a possibility > which should not be ignored!), it is completely unreasonable to expect > every single person to be on the vanguard of this evolution in every single > aspect of it at every single point in time. > Calling someone who exhibits exclusionary behaviour a bigot, suggests an > inherent and permanent corruption of their personality. Most often, I > think, we should instead explain exclusionary behaviour either from > unawareness of some or all aspects of the problem, or from a lack of > courage needed to rise up against the mechanisms of exclusion. > > If a person in a position of power or privilege should exhibit > exclusionary behaviour, then this is a problem that requires attention. > Discarding the person altogether is a simple but also wasteful, > preposterous and unjust solution. Moreover, I would rather see people with > exclusionary ideas (such as probably all of us in at least some way) speak > up and lay out their arguments so that these can be refuted in a serene > discussion, than I would see them stay silent and act according to their > ideas for perhaps an entire lifetime. In my view, installing a culture of > fear and self-censorship is counterproductive. > > That being said, I do think we all have the responsibility to adopt a > proactive attitude in informing ourselves about phenomena of social > in/exclusion (and other societal problems that we may have an impact on). > In particular, we should be willing to learn when called out (and willing > to explain when calling out) on our behaviour. > > Best regards, > Andreas Nuyts > > > On 23.04.22 15:03, David wrote: > > I literally cannot find anything wrong or upsetting or offensive in Mike's > comments on the github. He got dislike-bombed for talking about a matter > of style, and he got an avalanche of criticism for disagreeing with the > latest newly-minted dogma of inclusivity. People are in this very thread > condemning him for his 'views'. His views of what? Writing style? > Grammar? By disagreeing with the (constantly changing, mind) new dogma, he > had to endure a struggle session, and still, afterwards, he's being treated > as a pariah and having his talks cancelled? > > Mike is one of the most important people in the field (top 3 for sure). > He's demonstrated his bona fides (mathematical and otherwise) time and time > again. He's a good guy, and you guys have cast the most outrageous > aspersions against him, as if he were some kind of bigot. > > Come on. Get real. > > David > > On Friday, April 15, 2022 at 1:01:12 PM UTC+1 escardo...@gmail.com wrote: > >> 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 HomotopyTypeThe...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/HomotopyTypeTheory/bfd91d1f-da88-4cbb-97ed-df868f6e7190n%40googlegroups.com > > . > > > -- 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/8d56b68f-2473-4f50-9d00-28cc58fbd8e7n%40googlegroups.com. ------=_Part_6451_428823273.1650879373670 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable I don't know what you mean that 'an attitude of social inclusion is of the = utmost importance'.  In terms of priorities, it's certainly down in th= e double digits for me (and likely for the rest of you too, if you're being= honest with yourself), not to say I don't find it important at all, just t= hat I think 'utmost' is overegging the custard.  Also, I don't think t= hat anything that Mike said could possibly be construed as him having an at= titude of exclusion.  He shows up in a thread, gives his two cents, an= d then is put upon by people making demands that he speak in a certain way.=   I have to ask: On what authority do these people rely to make such d= emands?  If it's not on the grounds of authority, the burden is on the= m to persuade.

What happened to Mike is a clear-cut case= of academic bullying.  People who can't clearly stick up for him and = want to hem and haw and sit on the fence are absolute cowards, and the peop= le condemning him outright are not living in the real world.  

Best,

David

<= /div>
On S= aturday, April 23, 2022 at 8:36:55 PM UTC+1 anuyts wrote:
=20 =20 =20
Dear all,

Without implying my agreement with Davids entire mail, I do think the following argument:

constantly changing, mind

is rather important. I hope we all agree that an attitude of social inclusion is of the utmost importance. However, it is undeniable that insights as to what it entails to be socially inclusive are rapidly evolving (and understandably so: the cultures that we all grew up in are the same ones that produce the phenomena of social exclusion that we should seek to avoid). Even ignoring for a moment the possibility that this evolution may give rise to legitimate differences of opinion (a possibility which should not be ignored!), it is completely unreasonable to expect every single person to be on the vanguard of this evolution in every single aspect of it at every single point in time.
Calling someone who exhibits exclusionary behaviour a bigot, suggests an inherent and permanent corruption of their personality. Most often, I think, we should instead explain exclusionary behaviour either from unawareness of some or all aspects of the problem, or from a lack of courage needed to rise up against the mechanisms of exclusion.

If a person in a position of power or privilege should exhibit exclusionary behaviour, then this is a problem that requires attention. Discarding the person altogether is a simple but also wasteful, preposterous and unjust solution. Moreover, I would rather see people with exclusionary ideas (such as probably all of us in at least some way) speak up and lay out their arguments so that these can be refuted in a serene discussion, than I would see them stay silent and act according to their ideas for perhaps an entire lifetime. In my view, installing a culture of fear and self-censorship is counterproductive.

That being said, I do think we all have the responsibility to adopt a proactive attitude in informing ourselves about phenomena of social in/exclusion (and other societal problems that we may have an impact on). In particular, we should be willing to learn when called out (and willing to explain when calling out) on our behaviour.

Best regards,
Andreas Nuyts


On 23.04.22 15:03, David wrote:
=20 I literally cannot find anything wrong or upsetting or offensive in Mike's comments on the github.=C2=A0 He got dislike-bombed for talking about a matter of style, and he got an avalanche of criticism for disagreeing with the latest newly-minted dogma of inclusivity.=C2=A0 People are in this very thread condemning him for his 'views'.=C2=A0 His views of what? Writing style? Grammar?= =C2=A0 By disagreeing with the (constantly changing, mind) new dogma, he had to endure a struggle session, and still, afterwards, he's being treated as a pariah and having his talks cancelled?

Mike is one of the most important people in the field (top 3 for sure).=C2=A0 He's demonstrated his bona fides (mathematical= and otherwise) time and time again.=C2=A0 He's a good guy, and you = guys have cast the most outrageous aspersions against him, as if he were some kind of bigot.

Come on.=C2=A0 Get real.=C2=A0=C2=A0

David=C2=A0

On Friday, April 15, 2022 at 1:01:12 PM UTC+1 escar= do...@gmail.com wrote:
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 po= sitions 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&= quot;.

I certainly look forward to hearing about Mike's (an= d 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 HomotopyT= ypeThe...@googlegroups.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.c= om/d/msgid/HomotopyTypeTheory/8d56b68f-2473-4f50-9d00-28cc58fbd8e7n%40googl= egroups.com.
------=_Part_6451_428823273.1650879373670-- ------=_Part_6450_1332208101.1650879373670--