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 12064 invoked from network); 26 Apr 2022 02:04:24 -0000 Received: from mail-yw1-x1137.google.com (2607:f8b0:4864:20::1137) by inbox.vuxu.org with ESMTPUTF8; 26 Apr 2022 02:04:24 -0000 Received: by mail-yw1-x1137.google.com with SMTP id 00721157ae682-2f4dfd09d7fsf102344717b3.0 for ; Mon, 25 Apr 2022 19:04:24 -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=+qjrD45lSuw06g93ADyJiMb2SdEF3Ijsqju/5GDHPdc=; b=pbdbv080RiS3nS6F1J5/jQhZb72hl0yp3iVAg+M3xL3Ry/AYfTbfo0/9xOgNYM44wy yKGBy1N80WQ4bHFWgEBef0jvSIljjw2B6FAAe5d5GFDHvUrbRtUz76aRM8U93C0lIdkO VLz7EF8KpiKgBLy09eGkl4aI6JSQUeGxFnnnwK2KMlA/4GLWN2xCaTpg9Avd3/VjuTUo 7Io2Aqvn2bNKX6kHCFWGKYVJCGTUoLgm0mZ2f6fviKZGEmvSKqS0IcB7kkBHVXLQsA39 F9BCOfUlT8m35iHyHKa6NvGg1RV2JGifANrtu6vdW1iS7iR8p4OodhsYLHRRPLDdGdy9 846A== 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=+qjrD45lSuw06g93ADyJiMb2SdEF3Ijsqju/5GDHPdc=; b=NA8XmTOIDg8y07qYT9DVMZHfqyXxy58YLABXEkrlo24QcsCiqjHbZiine8uy9hQk3y zg7mcfDc9nZ3YLqeCO9qhYqsZonsnKxH2szZg6tv52H/Q2xf4FPfhi46qI3+XuOmamJc CRdCzsvHdM9biDD8XNMZBnzlKR5gaYf5qhytgKUVrBLya4S5tSMLEB4pBg37xGf36AJV wFhboECIjdTKKcolGfHqgmru0NTLUBD8P1kN+P2GGtTjEW7IzCC/gyyHNPmI96NqqybK N2tT5sPe1EV2E1oVnkWEXrw31q1aIVpN5Hx7W1w3e/qll6Jsuw0jnFyUZIyWWpxfRX0N F/WQ== 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=+qjrD45lSuw06g93ADyJiMb2SdEF3Ijsqju/5GDHPdc=; b=ZXtuXUUJlCf5amlJxDGDXt4uA+ggeC9glthJXyVht6Xx6o6pRWJjtRH2Wlx6vE2/JG aKpDB7VrMjZCbsbr8O4eVzKS5Xla53El+MhWenWLp5u0vD/lIQ0fIBTg4yb9hT0QRnAd z1/1hQmu4a0BMRMAW5k42pMkSe99yzBxus6J3iynTULZjQkFsGmkYKHiGOn+B3LouzmV RN45dVZS+D0DRVKGe2rsS0hiebEmJ+PBXX69td2nxERg53srVrhTNl2HiwH4xn4umaZU L/aq2JfcYtjXcC4tD+ghVSrBj+/fVmxBiXVKNKJ0QxSXwgAHkMlITje0JNPZmNWCxEa/ nemQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532NNTzdFWGeD/U3d5A+K3GWCMHyDv98p/Mo/j8OG9j0OecsYX59 bvCEVOGRaP3R2CHyfzXYc5w= X-Google-Smtp-Source: ABdhPJyTKZZGxc+i6HB87t8bhM+DoqkWz5PqEMbXh+06h/c4qQxV/Bp3pSKfEm97R3RlTQ5JSuNbww== X-Received: by 2002:a81:b0b:0:b0:2e5:dcc1:3d49 with SMTP id 11-20020a810b0b000000b002e5dcc13d49mr19664804ywl.210.1650938662591; Mon, 25 Apr 2022 19:04:22 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:690c:312:b0:2f7:de56:ddff with SMTP id bg18-20020a05690c031200b002f7de56ddffls2769893ywb.9.gmail; Mon, 25 Apr 2022 19:04:21 -0700 (PDT) X-Received: by 2002:a81:7993:0:b0:2f1:b7f4:efc4 with SMTP id u141-20020a817993000000b002f1b7f4efc4mr18683891ywc.459.1650938661402; Mon, 25 Apr 2022 19:04:21 -0700 (PDT) Date: Mon, 25 Apr 2022 19:04:20 -0700 (PDT) From: David To: Homotopy Type Theory Message-Id: In-Reply-To: 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> <8d56b68f-2473-4f50-9d00-28cc58fbd8e7n@googlegroups.com> <5595508f-15bd-42a2-a350-103647bfac1an@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_264_567539524.1650938660702" 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_264_567539524.1650938660702 Content-Type: multipart/alternative; boundary="----=_Part_265_719198503.1650938660702" ------=_Part_265_719198503.1650938660702 Content-Type: text/plain; charset="UTF-8" Of course Mike didn't draw an analogy between trans/nonbinary people and 'abnormalities'. In fact, his interlocutor suggested that _sex_ (and specifically not gender) was a spectrum. Mike correctly noted that being intersex is medically considered to be an abnormality, with varying degrees of disability resulting (depending on which extra chromosomes appear in the genome). You got so caught up in your great moralistic crusade over this that you didn't even pay attention to what he said. Your crusade has converted an abstract, potential, and linguistic harm to people in society at large to an actual harm to Mike and also to everyone who cares what he has to say. Moreover, it's damaged the community by splitting people into camps (either you're for trans/nonbinary murder or you're opposed to it, I guess?). And for the record, I'm not directly part of the HoTT community, but I'm immediately adjacent to it mathematically and have attended many HoTT-themed events (and I'm familiar specifically with the problem that Mike's new work is trying to solve). Since I don't want to reveal who I am, I won't say too much more than this: I know Mike pretty well; I have met him in person; and I think he's a stand-up guy. And you're sitting here spreading innuendo about him. I think that's BS, so I'm standing up for him. Best, David PS You're not fooling me into revealing who I am., because 'taking responsibility' here means subjecting myself to retaliation by small-minded bigots like yourself. Also, I don't know where this 'free speech absolutist' stuff is coming from, but maybe it's better if you move to an authoritarian state where people are forced to respect one another obsequiously and follow the party line. Again, you should check your authoritarian impulses, because god alive, are they overwhelming. On Tuesday, April 26, 2022 at 2:18:59 AM UTC+1 Josh Chen wrote: > > I don't understand why you're bringing up articles about hate crimes. > > The reason why you're angry... > > I'm afraid I have to break my previous promise in order to correct the > record: in case there is any doubt, I am not angry with Mike, indeed I look > forward to his upcoming talk. > > I also do not appreciate the arrogance of an online anonymous who might > not even be a part of this community, and who is clearly not thinking > level-headedly enough to read and comprehend my previous sentences---much > less the content of this thread---to presume to call others here absolute > cowards, or to tell me what I am feeling. > > In case it's not clear and since this is on the public record, let me > reiterate for the final time my point, almost verbatim from my last > message: "drawing the analogy between trans/non-binary people and > "abnormalities" is exactly the kind of thing that reinforces the prejudice > that gets them harassed, assaulted, and killed." I am simply pointing out > that there are real people *in our community* who have an objectively > worse time in society because of the way they were born, and we should be > mindful that we do not perpetuate the stigma of "abnormality" that results > in this. > > With your great free speech comes great responsibility, which is > unfortunately not a lesson learned by many "free speech absolutists". > On Monday, April 25, 2022 at 8:25:21 PM UTC+1 David wrote: > >> After seeing what you did here did to Mike, no chance. When you guys >> decide to stop retaliating against people for having a difference of >> opinion, I will be happy to unmask myself. >> >> I don't understand why you're bringing up articles about hate crimes. >> We're talking about an objection to using a plural (or arguably singular >> indefinite) pronoun for a definite subject. It sounds weird. It's >> confusing to read. Mike's talk was cancelled over this. He didn't commit, >> encourage, support, or have anything positive to say about hate crimes. >> Moreover, I know that he doesn't do any of the above, and you do too. The >> reason why you're angry is because Mike decided not to immediately bow to >> your demands about how to speak. It reminds me very much of the current >> situation in Russia, where you can be sanctioned for using particular >> language (special mathematical operation?). >> >> You should really check your authoritarian impulses and calm down. >> >> Best, >> >> David >> >> >> >> On Monday, April 25, 2022 at 5:23:56 PM UTC+1 Josh Chen wrote: >> >>> Dear David, >>> >>> It would be quite nice for those of us who are using our real, full >>> names, and largely being civil in sharing our opinions, to know which of >>> the multiple Davids in this area we are addressing when we have to respond >>> to factual inaccuracies and charges of cowardice, please? I cannot deduce >>> this from your anonymous email address. >>> >>> > People are in this very thread condemning him for his 'views'...you >>> guys have cast the most outrageous aspersions against him, as if he were >>> some kind of bigot. >>> >>> You might be mixing up the comments here and those on the GitHub PR. I >>> don't see anyone here (myself included) condemning Mike or calling him a >>> bigot, even though his choice of words in the PR was very regrettable in >>> drawing the analogy between trans/non-binary people and "abnormalities", >>> which is exactly the kind of thing that reinforces the prejudice that gets >>> queer people harassed, assaulted, and killed ( >>> https://www.reuters.com/article/lgbt-crime-rights-idUSL8N2804FQ, >>> https://www.reuters.com/article/us-new-zealand-lgbt-health-idUSKBN1W9057, >>> >>> https://vawnet.org/sc/serving-trans-and-non-binary-survivors-domestic-and-sexual-violence/violence-against-trans-and; >>> I could go on). >>> >>> This will also be my last response on this thread, as I don't believe >>> online debate with an anonymous, antagonistic interlocutor is productive. >>> On Monday, April 25, 2022 at 10:36:13 AM UTC+1 David wrote: >>> >>>> 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/e471240c-6a31-4325-834b-c38230252e60n%40googlegroups.com. ------=_Part_265_719198503.1650938660702 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Of course Mike didn't draw an analogy between trans/nonbinary people and 'a= bnormalities'.  In fact, his interlocutor suggested that _sex_ (and sp= ecifically not gender) was a spectrum.  Mike correctly noted that bein= g intersex is medically considered to be an abnormality, with varying degre= es of disability resulting (depending on which extra chromosomes appear in = the genome).  You got so caught up in your great moralistic crusade ov= er this that you didn't even pay attention to what he said.

<= div>Your crusade has converted an abstract, potential, and linguistic harm = to people in society at large to an actual harm to Mike and also to everyon= e who cares what he has to say.  Moreover, it's damaged the community = by splitting people into camps (either you're for trans/nonbinary murder or= you're opposed to it, I guess?).  

And = for the record, I'm not directly part of the HoTT community, but I'm immedi= ately adjacent to it mathematically and have attended many HoTT-themed even= ts (and I'm familiar specifically with the problem that Mike's new work is = trying to solve).  Since I don't want to reveal who I am, I won't say = too much more than this: I know Mike pretty well; I have met him in person;= and I think he's a stand-up guy.  And you're sitting here spreading i= nnuendo about him.  I think that's BS, so I'm standing up for him.&nbs= p; 

Best,

David
<= br>
PS You're not fooling me into revealing who I am., because 't= aking responsibility' here means subjecting myself to retaliation by small-= minded bigots like yourself.  Also, I don't know where this 'free spee= ch absolutist' stuff is coming from, but maybe it's better if you move to a= n authoritarian state where people are forced to respect one another obsequ= iously and follow the party line.  Again, you should check your author= itarian impulses, because god alive, are they overwhelming.
On Tuesday, April 2= 6, 2022 at 2:18:59 AM UTC+1 Josh Chen wrote:
> I don't understand why = you're bringing up articles about hate crimes.
> The reason why = you're angry...

I'm afraid I have to break= my previous promise in order to correct the record: in case there is any d= oubt, I am not angry with Mike, indeed I look forward to his upcoming talk.=

I also do not appreciate the arrogance of an = online anonymous who might not even be a part of this community, and who is= clearly not thinking level-headedly enough to read and comprehend my previ= ous sentences---much less the content of this thread---to presume to call o= thers here absolute cowards, or to tell me what I am feeling.
In case it's not clear and since this is on the public reco= rd, let me reiterate for the final time my point, almost verbatim from my l= ast message: "drawing the analogy between trans/non-binary people and = "abnormalities" is exactly the kind of thing that reinforces the = prejudice that=20 gets them harassed, assaulted, and killed." I am simply pointing out t= hat there are real people in our community who have an objectively w= orse time in society because of the way they were born, and we should be mi= ndful that we do not perpetuate the stigma of "abnormality" that = results in this.

With your great free speech comes= great responsibility, which is unfortunately not a lesson learned by many = "free speech absolutists".
On Monday, April 25, 2022 at 8:25:21 P= M UTC+1 David wrote:
A= fter seeing what you did here did to Mike, no chance.=C2=A0 When you guys d= ecide to stop retaliating against people for having a difference of opinion= , I will be happy to unmask myself.=C2=A0=C2=A0

I don= 9;t understand why you're bringing up articles about hate crimes.=C2=A0= We're talking about an objection to using a plural (or arguably singul= ar indefinite) pronoun for a definite subject.=C2=A0 It sounds weird.=C2=A0= It's confusing to read.=C2=A0 Mike's talk was cancelled over this.= =C2=A0 He didn't commit, encourage, support, or have anything positive = to say about hate crimes.=C2=A0 Moreover, I know that he doesn't do any= of the above, and you do too.=C2=A0 The reason why you're angry is bec= ause Mike decided not to immediately bow to your demands about how to speak= .=C2=A0 It reminds me very much of the current situation in Russia, where y= ou can be sanctioned for using particular language (special mathematical op= eration?).=C2=A0=C2=A0

You should really check you= r authoritarian impulses and calm down.

Best,

David



On Mond= ay, April 25, 2022 at 5:23:56 PM UTC+1 Josh Chen wrote:
Dear David,

It would be quite nice for those of us who are using our real, full names,= and largely being civil in sharing our opinions, to know which of the mult= iple Davids in this area we are addressing when we have to respond to factu= al inaccuracies and charges of cowardice, please? I cannot deduce this from= your anonymous email address.

> People are= in this very thread condemning him for his 'views'...you guys have= cast the most outrageous aspersions against him, as if he were some kind o= f bigot.

You might be mixing up the comments here and those on = the GitHub PR. I don't see anyone here (myself included) condemning Mik= e or calling him a bigot, even though his choice of words in the PR was ver= y regrettable in drawing the analogy between trans/non-binary people and &q= uot;abnormalities", which is exactly the kind of thing that reinforces= the prejudice that gets queer people harassed, assaulted, and killed (https://www.reuters.com/article/lgbt-crime-rights-i= dUSL8N2804FQ, https://www= .reuters.com/article/us-new-zealand-lgbt-health-idUSKBN1W9057, https://vawnet.org/sc/s= erving-trans-and-non-binary-survivors-domestic-and-sexual-violence/violence= -against-trans-and; I could go on).

This will = also be my last response on this thread, as I don't believe online deba= te with an anonymous, antagonistic interlocutor is productive.
On Mon= day, April 25, 2022 at 10:36:13 AM UTC+1 David wrote:
I don't know what you mean that 'an= attitude of social inclusion is of the utmost importance'.=C2=A0 In te= rms 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 'ut= most' is overegging the custard.=C2=A0 Also, I don't think that any= thing that Mike said could possibly be construed as him having an attitude = of exclusion.=C2=A0 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.=C2=A0 = I have to ask: On what authority do these people rely to make such demands?= =C2=A0 If it's not on the grounds of authority, the burden is on them t= o persuade.

What happened to Mike is a clear-cut case of= academic bullying.=C2=A0 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 peo= ple condemning him outright are not living in the real world.=C2=A0=C2=A0

Best,

David

=
On = Saturday, 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 escardo...@gmail.com wro= te:
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 HomotopyTypeThe...@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/e471240c-6a31-4325-834b-c38230252e60n%40googl= egroups.com.
------=_Part_265_719198503.1650938660702-- ------=_Part_264_567539524.1650938660702--