Deakstadieđáhus: Quantum channels as a categorical completion