physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)
field theory: classical, pre-quantum, quantum, perturbative quantum
Quantum electrodynamics (“QED”) is the quantum field theory of electromagnetism: it describes the quantum theory of photons and electrons.
The term “quantum electrodynamics” is due to
This left some issues with the quantization of the rational field. These were addressed, and the causal propagator for the electromagnetic field was first found in
For more on the history see
and (Scharf 95, section 0.0).
A decent textbook discussion of the standard lore is in
Mathematically rigorous discussion in causal perturbation theory is in
A construction of QED in the context of pertubative AQFT is discussed in
and in the further generality of non-abelian Yang-Mills theory in
Discussion of the adiabatic limit (dealing with infrared divergences) is in
Comparison to experiment is reviewed in