Higher Category Approach to Certifiably Correct Quantum Information Processing Systems