I have been thinking about Spekkens Toy model in terms of interfaces. The Spekkens paper concerns a physics based on only being able to receive answers to half the number of questions necessary to specify the state of a system. This is something like having a limited interface to some kind of system. I take an apparatus as an internal category in a monoidal category and the apparatus is seen as some limited interface to an underlying quantum causal structure. Would it be possible to reformulate Spekkens' idea in terms of internal categories?
This post has been migrated from (A51.SE)