The desiderata I listed are generally considered the point of introducing new abstractions in mathematics. I'm open to the idea that there are other ways in whi

The desiderata I listed are generally considered the point of introducing new abstractions in mathematics. I'm open to the idea that there are other ways in which abstraction could be useful, but still, I haven't seen this case made for Chu spaces.