(higher) category theory and physics
state, configuration space;
propagation
Lagrangian mechanics?
Axiomatizations
Tools
Models
Phenomena
Types of quantum field thories
Yang–Mills theory is a gauge theory on 4-dimensional (pseudo)Riemannian manifold whose field is the Yang–Mills field – a cocycle in differential nonabelian cohomology represented by a vector bundle with connection – and whose action functional is
for
the field strength, -valued differential 2-form on ( with the Lie algebra of the unitary group );
the Hodge star operator;
some real number.
All gauge fields in the standard model of particle physics as well as in GUT models are Yang–Mills fields.
The matter fields in the standard model are spinors charged under the Yang-Mills field. See