I am not happy at all with what Mike said in the above pull request discussion, and I said so there, but at the same time I think that cancelling his talk was the wrong thing to do. Everybody should move on positively after the resolution that Andrej discussed above, and I don't consider cancelling his talk to be a positive move. I am by no means excusing Mike from what he did - this is something he should work on to resolve himself. What I am saying is that cancelling somebody who has apologized publicly is not contributing to reinstate the welcoming atmosphere we've had in this community for a long time here. Martin 1. On Thursday, 14 April 2022 at 12:49:15 UTC+1 Andrej Bauer wrote: > 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/cdf9c1ad-5c35-4751-9d3d-e2621b71fb12n%40googlegroups.com.