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]

Now, the petition itself is by user "Derived Memes" https://www.change.org/u/einfinityringspectrum and the petition is directed to Nintendo and to Jacob Lurie.

So, what could this mean:

"careful treatment of the WAHll finiteness obstruction from the ∞-categorical perspective"

:-) well, this surely does exist, but certainly named after "different WAHll": https://en.wikipedia.org/wiki/Wall%27s_finiteness_obstruction and this guy: https://en.wikipedia.org/wiki/C._T._C._Wall

OK, it's a fair wish list item that the situation where "a careful treatment of the WAHll finiteness obstruction from the ∞-categorical perspective is sorely lacking from the literature" would be rectified :-)

:-) One indeed should expect Lurie's framework to be able to handle this :-)