Văn bản này: Quantum channels as a categorical completion