How many times can Hegel, Marx & Co. be repackaged and cause immense destruction (such as we are seeing at this very moment) till otherwise intelligent people will finally let it go?
I would have thought the references to category theory and Robert Harper Thought (he's a homotopy type theory researcher) would have made the humor clear.
