under construction
If particles specied are identified simple objects of a DHR category, then the elements of the corresponding dual object are called antiparticles.
A discussion of traditional and of formalized discussions of antimatter, with an eye towards AQFT, is in
In
the topic appears around remark 8.79.
See also