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: event: ACT20

Topic: July 6: Matthew Wilson et al.'s talk

Paolo Perrone (Jul 02 2020 at 02:38):

Hello all! This is the thread of discussion for the talk of Matthew Wilson, James Hefford, Guillaume Boisseau and Vincent Wang, "The Safari of Update Structures: Visiting the Lens and Quantum Enclosures".
Date and time: Monday July 6, 12:35 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=1A76CO3K28U&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q

Paolo Perrone (Jul 06 2020 at 12:31):

We start in 4 minutes!

Juan Ferrer Meleiro (Jul 06 2020 at 13:08):

Finally found the channel!

Juan Ferrer Meleiro (Jul 06 2020 at 13:08):

Is anyone here?

James Hefford (Jul 06 2020 at 13:09):

hello!

Juan Ferrer Meleiro (Jul 06 2020 at 13:09):

So, I wanted to perhaps make myself clearer

Juan Ferrer Meleiro (Jul 06 2020 at 13:09):

See what you think of the idea

Juan Ferrer Meleiro (Jul 06 2020 at 13:10):

So, quantum computing is generally represented using string diagrams

Juan Ferrer Meleiro (Jul 06 2020 at 13:10):

You can think about such systems generally in a monoidal category setting

Juan Ferrer Meleiro (Jul 06 2020 at 13:10):

Your graphical calculus seems to be a nice fit

Juan Ferrer Meleiro (Jul 06 2020 at 13:11):

Extending usual rules to allow better representations of measuremenrs and classical interactions with quantum systems

Juan Ferrer Meleiro (Jul 06 2020 at 13:11):

e.g., when a quantum gate has a parameter that is set with the result of a measurement

Aleks Kissinger (Jul 06 2020 at 13:13):

James Hefford said:

hello!

could you put refs to the 2 papers here?

James Hefford (Jul 06 2020 at 13:13):

Yes! These are possible applications. See https://arxiv.org/abs/quant-ph/0608035 for earlier work on such ideas

James Hefford (Jul 06 2020 at 13:15):

Categories of Semantic Concepts, https://arxiv.org/abs/2004.10741
The Safari of Update Structures: Visiting the Lens and Quantum Enclosures, https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2020:46

Paolo Perrone (Jul 06 2020 at 21:50):

Here's the video!
https://www.youtube.com/watch?v=HILkcKXLuzA&list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI