Categorical Post-Quantum Theories