# Can we construct CHU as an internal category in a monoidal category?

I have recently read Abramsky and Heunen's paper on Operational structures and categorical physics. I have been looking at operational structures as internal categories in a monoidal category like we find here. We see that internal categories can be seen as monads in the category of comonoids in a monoidal category. These internal categories represent the foundation of a simplified quantum field theory if we think of Vicary's paper on the Quantum Harmonic Oscillator. In particular, I think of the internal categories as structural probes of arbitrary complexity and the functor from the underlying monoidal category to the little internal cats as probes of "quantum causal structure" which we "see" in terms of diagrams in the internal category. The internal category is seen as an apparatus, and we probe underlying structure by mapping diagrams into our little (internal) test categories. That is how I see operationalism right now. My question is about Chu spaces, as Abramsky uses them. Can we find the authors' special subcategory of the category of Chu spaces, as an internal category in a monoidal category? I would like to think that my ideas are not that far off from what Abramsky has done and this would be a start.

-
The paper mentioned in the first sentence has two authors. – Rasmus Bentmann Jul 27 '13 at 18:59
I'm not understanding the question (and not promising I'd work on it if and when I do), but perhaps you could be more explicit about Abramsky's (and Heunen's) "special subcategory"? E.g., say where this is introduced in the paper? – Todd Trimble Jul 27 '13 at 21:58
Hi Todd. Thanks for reading my post. In section 3.2 the construction is started and I think section 3.4 clarifies the subcategory. – Ben Sprott Jul 28 '13 at 17:27