[2110.07074v3] Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps