Quantum Categories, Star Autonomy, and Quantum