*-Autonomous categories in quantum theory

Research paper by Brian Day

Indexed on: 26 Nov '11Published on: 26 Nov '11Published in: Mathematics - Category Theory


*-Autonomous categories were initially defined by M. Barr to describe a type of duality carried by many monoidal closed categories. Later they were generalised by the current author to include *-autonomous promonoidal categories. Together, these structures under "convolution" product give a clear indication of the usefulness of *-autonomy in quantum mathematics and related areas.