Anfonwch hwn fel neges destun: Categorical post-quantum theories