Text this: Categorical post-quantum theories