Modern physics defines fundamental forces and particles as particular “fields”. I have read some things like “gauge symmetry” play an important role in these theories.
I have looked up a good reference material on axiomatic quantum field theory, which has sections on the ontological interpretations of AQFTs, but I’d like a gentler introduction first.
I think there are two questions. Mathematically, do contemporary physicists prefer a certain level of expressive power of a formal system, in order to formulate and express the constructs of mathematical physics?
Ontologically, can axiomatic physical theories admit easy interpretations as to what inherent phenomenological categories they take as primary? Which ones? For example, perhaps a certain AQFT can ‘construct time’ out of something else, but it requires the existence of some category, like energy, about which all the derivations of the theory are intepreted as true statements about the nature of that something called ‘energy’.