Quantum field theory
AQFT and operator algebra
States and observables
An irreducible representation in the DHR category.
The formalization in the context of AQFT is for instance in section 1.4 of
Revised on May 14, 2012 19:05:36
by Urs Schreiber