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.
Simon Burton (Mar 05 2021 at 15:24):Next monday, 8th of March at 2:15pm CET, I'm giving a talk about using the language of categories for quantum codes. https://chaos.if.uj.edu.pl/ZOA/ The abstract:
"We use binary linear codes to store and transmit classical
information. These are length one chain complexes over a finite field.
Quantum (CSS) stabilizer codes can be seen as length two (or more) chain
complexes over a finite field. There are no complex numbers to be seen
here, so what is quantum about quantum codes? One possible answer is
that these codes, as chain complexes, live in a symmetric closed monoidal
category enriched over itself. This also applies to the category of finite dimensional
complex vector spaces, the usual context in which we do quantum
information theory. In this talk I will discuss these parallels using
string diagram notation. As might be suspected, they key is the
behaviour of the tensor product in both contexts."
Tim Hosgood (Mar 07 2021 at 03:46):will your talk be recorded?
Simon Burton (Mar 07 2021 at 20:06):Yes I believe so.