HoTTTEST

[Eduardo Ochs]

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