theory (physics), model (physics)
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
Quantum electrodynamics (“QED”) is the quantum field theory of electromagnetism: it describes the quantum theory of photons and electrons.
A decent textbook discussion of the standard lore is in
A construction of QED in the context of AQFT is discussed in