*-Autonomous categories in quantum theory
Brian Day
Abstract
*-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.
Create a lesson
Related papers
A note on coextensivity of bounded hoops
Michael Hoefnagel, Giuseppe Metere, Danielle Kleyn
Models for dagger (∞,1)-categories I: Dagger simplicial sets and unitary cores
Keima Akasaka
The (∞,∞)-category of spans
Jonte Gödicke, Quoc P. Ho, Walker H. Stern
Factorization Systems on ∞-Categories: Un/Straightening and Monadicity
Thorger Geiß
A categorical model structure for generalized algebraic theories
Daniel Almeida
Failure of Higher-Order Truth within Intuitionistic Propositional Logic
Lingyuan Ye, Yiqi Xu