You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
I just saw this paper . It is on quantum networks.
I have been waiting for a while to see quantum causal structures. This paper looks like some very good work done in this area.
The way I see it, I am working on this too, but I am working on deriving things via data/distribution monads and compositions. You can see my work here.
In my paper, I use the fact that you cannot compose any comonad except the co-reader comonad with the distribution monad. I wonder about the reverse, so quantum networks, i.e. the distribution monad comes first in the composition, on the left, and the comonad of domains (ordered structures) is on the right. This would match what Matt Wilson has written about. Might this work? Shah might have only proved that you cannot compose on the left, but maybe you can compose on the right.
Real link for the first paper: http://dx.doi.org/10.22331/q-2024-10-23-1508
The second link requires me to make an account, which I am not invested enough to do, sorry.
Sorry about that. I fixed it. Everyone has seen it before.