# Spekkens Toy Model, Internal Comonoids

+ 3 like - 0 dislike
120 views

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)
asked Nov 27, 2011

+ 2 like - 0 dislike

The short answer is yes: these ideas can be formulated as internal algebras in a monoidal category. Take a look at http://arxiv.org/abs/1003.5005 for starters. Bill Edwards' PhD thesis has quite a bit more, and other papers by him and Bob Coecke may also be of interest.

This post has been migrated from (A51.SE)
answered Dec 10, 2011 by (20 points)
Welcome to the site, Ross!

This post has been migrated from (A51.SE)
Thanks Joe. I've been lurking since (before!) it started :-)

This post has been migrated from (A51.SE)

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:$\varnothing\hbar$ysicsOverflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.