Oi pessoas, eu pensei em marcar isso aqui como off-topic, mas aí lembrei que a gente teve uma discussão bem grande sobre linguagem neutra em agosto do ano passado -
https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/gfesZC1aRW8/m/asH2QPYsAwAJ e vi que não é off-topic não... A versão muito curta da história é: o Mike Shulman - https://home.sandiego.edu/~shulman/ tinha sido convidado pra apresentar uma "Distinguished Lecture" neste evento aqui, Homotopy Type Theory Electronic Seminar Talks https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html mas depois de uma discussão bem grande os organizadores resolveram que ele tinha posições muito transfóbicas (for some value of "muito") e desconvidaram ele. Parece que os principais links pra discussão bem grande são estes aqui: https://github.com/HoTT/book/pull/1101 https://categorytheory.zulipchat.com/#narrow/stream/241990-general.3A-values/topic/gender.20inclusivity https://twitter.com/DrEugeniaCheng/status/1514679165110341637 https://twitter.com/astradiol/status/1513963071156326402 Eu achei este post aqui, do Jules Hedges, especialmente interessante e útil: https://categorytheory.zulipchat.com/#narrow/stream/241990-general.3A-values/topic/gender.20inclusivity/near/278590606 Vou perguntar pra ele se posso copiar o conteúdo do post pra cá. [[]], Eduardo Ochs -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6gD%3D13MCiPSmmbmGGT%2BbsmhCYv6h3S%2BEONkNmySHOJhyg%40mail.gmail.com.
