Something is happening around Waluigi effect

[dmm]

I am not sure what (I missed the latest part of the story). But here is a beautiful petition on change.org which says this:

*****
Waluigi has been scorned by Nintendo yet again, being left out of the roster of Super Smash Bros Ultimate. However, there is still a chance for Waluigi to get his rightly deserved place in the spotlight. Waluigi should appear in the next edition of Higher Algebra.

Indeed, Waluigi fits naturally into the framework of stable ∞-categories, and would probably have been incorporated long ago were Nintendo not so notoriously protective of their copyright. For example, the discussion of the Waldhausen construction in §1.2.2 generalizes without much additional effort to the WAHldhausen construction. It is also worth noting that a careful treatment of the WAHll finiteness obstruction from the ∞-categorical perspective is sorely lacking from the literature.
*****

(I've read the original Waluigi effect paper. I am going to write more about all this in the comments.)

Comments

[dmm]

That was my first impression. But right now I think that this is probably a manually written joke.

But it's a joke with a hint. Some things not too far from this are not jokes, but real attempts.

For example, here are some "nearby attempts" which I have not rated, but which look to me like they have a good chance of being OK:

https://topos.site/blog/2022/09/nate-jesses-adjoint-5-tuple/

or

https://topos.site/blog/2022/10/when-you-light-up-i-light-up-a-dynamical-monoidal-category-of-hebbian-learners/ and https://arxiv.org/abs/2205.03906

So I would not be too surprised if people can convert this joke into some real math in the future...