Գրեք սա: Quantum channels as a categorical completion