Describir: Quantum channels as a categorical completion