It's funny, this is exactly what people have been saying of Categorical Quantum Mechanics and ZX calculus for 14 years, until they didn't, and now ZX calculus is used to draft quantum protocols and businesses like Cambridge Quantum Computing are investing heavily in it.
The fact that mathematical foundations don't have applications now does not mean they won't have applications in the future. Gregorio Ricci-Curbastro's work was also considered pretty useless until Einstein decided to build General Relativity over it. If it were for opinions like this one, progress in many field would be incremental at best.
The fact that mathematical foundations don't have applications now does not mean they won't have applications in the future. Gregorio Ricci-Curbastro's work was also considered pretty useless until Einstein decided to build General Relativity over it. If it were for opinions like this one, progress in many field would be incremental at best.