Category Theory
Zulip Server
Archive

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.


Stream: theory: science

Topic: Quantum Networks


view this post on Zulip Ben Sprott (Feb 20 2025 at 19:35):

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.

view this post on Zulip David Michael Roberts (Feb 21 2025 at 01:31):

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.

view this post on Zulip Ben Sprott (Feb 21 2025 at 01:38):

Sorry about that. I fixed it. Everyone has seen it before.