Hi,
Was this necessary? I don’t agree with Mike’s views on transgender issues but this has nothing to do with the topic of the seminar. Maybe he should have refrained on expressing them in the context of the HoTT book but maybe it is not good if people can’t say what they think even if we don’t agree with it.
In the end cancelling the seminar is water on the mills of certain right wing people who will see this as yet another example of “cancel culture”. Maybe you felt that you needed to cancel it to avoid it to get hijacked to discuss topics which have nothing to do with the topic but then you should have said this.
Cheers,
Thorsten
--
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/CAEXhy3Pjt4%3Dwi5ikinGTqkKXyQKQ6iWOCtyTjz%3DBc1zufLz-AQ%40mail.gmail.com.
This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.
On 15 Apr 2022, at 10:29, Josh Chen <jayc...@gmail.com> wrote:
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/776cef63-67d8-4413-9cf6-c005e548c386n%40googlegroups.com.
constantly changing, mind
--
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.