Stav dette: Quantum channels as a categorical completion