You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
José (Feb 27 2026 at 04:22):Joe Moeller said:
Btw, I'm enjoying the conversation a lot more now. There's a difference between using LLMs to help you think about math vs using it to chat with us about it. I think there's a tension that enters my body when I get the sensation that I'm reading the thoughts of someone's LLM, rather than their thoughts perhaps aided by an LLM.
I am not a native English speaker. Indeed, English is my third language, after French, my second language and Spanish, my first language. Therefore, I need to use LLMs with the following prompt: "Write the following text as a native English speaker".
Concerning my citation of Valerie Solanas, that was not an AI hallucination, but a fascination for problematic authors. Nevertheless, I have my limits: if an author is antisemitic, like Julius Evola, that is a big no-no for me to use it as reference, because his work has been poisoned. Nevertheless, Solanas's work is satirical, his enemy is the "patriarchy" is a concept rather than concrete people. It is true that Solanas did murder a man named Maurice Girodias, but she was diagnosed with paranoid schizophrenia. In other words, this murder was not the result of her intention, but of a mental handicap and people who are handicapped should not be discriminated against. This is the reason why I give Solanas a pass: she was mentally ill, not evil. People who were really evil and advocated for violence unapologetically: Adolf Hitler (yimakh shemo), Karl Marx, Martin Heidegger (specially in the Black Notebooks).
Now, I could ask the question: Is Kanye West evil like Hitler or just mentally ill like Solanas? I don't know Kanye, but I'm sure Nick Fuentes is pure evil and shouldn't have a platform.
José (Feb 27 2026 at 04:39):This is a series of lectures and debates on what to do with Heidegger, who was a great philosopher but also an advocate of genocide. Should we continue citing Heidegger? I think that is an interesting question.
Colloque «Heidegger et "les juifs"»
José (Feb 27 2026 at 04:41):Example relevant for category theory (Heidegger in nLab): Heidegger's topology
Kevin Carlson (Feb 27 2026 at 18:49):I generally deny that the distinction between "mentally ill" and "evil" is sharp, though in rare cases like Tourette's syndrome one might entirely escape culpability for an otherwise evil act. Solanas managed to write a whole manifesto calling for violent resistance to the patriarchy, and then acted on her prescriptions. She was both mentally ill and evil.
José (Feb 27 2026 at 21:34):My goal is to argue that automation is a crucial tool in dismantling the patriarchy. I initially drew on the work of Valerie Solanas, who advanced a radical critique of patriarchal society. However, if her position proves too controversial or problematic for my purposes, I can instead turn to Laboria Cuboniks, the collective behind Xenofeminism.
This morning, a friend, who is a mathematician, shared this news with me: https://www.israelnationalnews.com/news/423079
My reply were the attached slides in which I apply the techniques of xenofeminism to fight contemporary antisemitism. Yes, I used AI to produce it, but it is not spam, the slides really reflect my ideas about technological activism. Of course, this is just brainstorming.
XF_SYSTEM_DEBUG.pdf
José (Feb 27 2026 at 21:36):The initiative to use technology to combat antisemitism arises from the Adir Challenge.
Kevin Carlson (Feb 27 2026 at 23:28):I'm not at all likely to read an AI-produced slide deck about the applications of xenofeminism to combatting antisemitism. It's remarkable that you don't seem to be willing to make any of your own arguments, though you claim that your goal is to "argue..."
José (Feb 28 2026 at 00:17):Kevin Carlson said:
It's remarkable that you don't seem to be willing to make any of your own arguments
If that was true, how did the AI knew that these two ideas (xenofeminism and combating antisemitism) can be combined? The process of generation of AI-enhanced content starts by telling the AI my arguments and then asking it to develop slides illustrating my ideas.
My main argument is that teaching advanced critical theory (critical race theory, gender studies, postcolonial theory, etc.) to people without enough reasoning skills was catastrophic. As a consequence of that, a significant part of the "woke" movement became antisemitic, because antisemitism is the easy (and wrong) answer to complex questions.
Xenofeminism is an alternative to the "woke", aiming to solve the same social problems, but it is grounded on logic and critical thinking. So, if the woke is generating antisemitism, a good idea could be to replace it with xenofeminism. Indeed, unlike the woke that is obsessed with hating people who they consider to be "privileged", xenofeminism promotes inclusion of everyone.
Kevin Carlson (Feb 28 2026 at 00:40):Well, playing devil’s advocate, so far you haven’t said anything that would prefer xenofeminism over, say, liberalism, which is also, or claims to be, based on logic, critical thinking, and inclusion of everyone. Indeed it’s a rare school of thought in the enlightenment heritage that denies critical thinking and inclusion, though a few deny logic!
José (Feb 28 2026 at 01:48):Kevin Carlson said:
Well, playing devil’s advocate, so far you haven’t said anything that would prefer xenofeminism over, say, liberalism
I would prefer xenofeminism over the "woke ideology", because xenofeminism is anti-essentialist, whereas the woke is obsessed with identity (for example, gender identity, racial identity, religious identity, etc.). Some references: https://soundcloud.com/joshuacitarella/xenofeminism-w-helen-hester
José (Feb 28 2026 at 01:54):| Aspect | Xenofeminism | "Woke Ideology" (Critical Social Justice) |
|---|---|---|
| Core Philosophy | Technomaterialist, anti-naturalist, and gender-abolitionist framework embracing alienation and reason to dismantle biological, physical, and social constraints. | Broad socio-political framework focused on heightened awareness of systemic inequalities, intersectionality, critical theory, and dismantling historical power structures. |
| View on Identity | Promotes gender abolitionism and radical universalism; views fixed identity categories as limitations to be technologically and socially transcended. | Highly identity-centric; focuses on recognizing, affirming, and analyzing marginalized identities and how overlapping categories (race, class, gender) interact. |
| Nature & Technology | Anti-naturalist ("If nature is unjust, change nature"); views technology, science, and medical intervention as essential emancipatory tools to hack biological realities. | Approaches technology with skepticism, frequently highlighting how algorithms, AI, and scientific institutions can reproduce and amplify existing systemic biases. |
| Epistemology | Values rationalism, scale, and abstraction; seeks to reclaim reason from patriarchal histories, prioritizing systemic structural intervention over individual subjectivity. | Relies heavily on standpoint epistemology—the idea that knowledge is situated and the lived experience of marginalized groups is the primary lens for understanding truth. |
| Antisemitism | Not a primary focal point in foundational texts; implicitly opposed through a broader commitment to radical universalism and dismantling all exclusionary classifications. | Highly debated; advocates argue intersectionality inherently opposes antisemitism, while critics argue rigid "oppressor vs. oppressed" matrices can mischaracterize Jewish populations, leading to blind spots. |
Kevin Carlson (Feb 28 2026 at 02:08):I think if you have a point, you can make it a lot faster than that.
José (Feb 28 2026 at 04:30):Thank you! I’m still getting up to speed on xenofeminism, as it’s a field I’ve only just started exploring.
I’ve been conducting statistical research on contemporary antisemitism, and I’ve come across a nontrivial result: the spike in antisemitism in Canada didn't actually begin as a reaction to the Israeli military response following the October 7th attacks (2023). Instead, the data shows the increase began during the COVID-19 vaccination campaign (2021). My interpretation is that people were heavily indoctrinated through online spaces during the pandemic.
Professor Henry Abramson mentions my work around the 10-minute mark of this video: https://youtu.be/oMhr8KJjL-M?si=33Z1f9NU3sXOMlSK&t=607
James Deikun (Feb 28 2026 at 08:16):Speaking of problematic authors, Wolfram is also one, as he is known to take credit for the ideas and work of his employees and erase their contributions.
Vincent R.B. Blazy (Feb 28 2026 at 08:52):@José I feel like your table just depicts the "woke ideology" as the analysis of the current state of affairs, and "xenophemism" as a potential solution (whose faith in technosolutionism is debatable, but whose point otherwise is shared by any rational "woke ideologist" anyway…)