SMS: Categorical post-quantum theories