Quantum channels as a categorical completion

Mathieu Huot, Sam Staton

We propose a categorical foundation for the connection between pure and mixed states in quantum information and quantum computation. The foundation is based on distributive monoida…