Stav dette: Categorical post-quantum theories