It is used in some formalizations of quantum field theory. Quantum field theory is used to make testable predictions about physics, and historically, giving sci

It is used in some formalizations of quantum field theory. Quantum field theory is used to make testable predictions about physics, and historically, giving scientific theories a rigorous mathematical backing has been useful. So that could be an example.