Categorical_quantum_mechanics loading ...