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.
Bob Coecke (Feb 27 2023 at 11:53):It may be of interest to know for people here that we just released a new book that presents quantum theory in terms of monoidal string diagrams, but which is readable for pretty much anyone. We've been getting lots of reactions from people without a mathematics background acknowledging - e.g. business people and young teenagers - that they understood complex quantum concepts through it.
QuantumInPictures-Paperback-Blackboard-20221117-2.jpg
Of all branches of category theory, what we mostly use is "Australian CT", with Kelly's compact closed categories, Carboni-Walters Frobenius algebras, and Lack's interacting Props playing a key role, and of course Joyal-Street that justifies the string diagrams.
The main takeaway here is that it is thanks to category theory, usually conceived as very difficult, that complex quantum concepts can be made available to a broad audience, resulting in a much more inclusive quantum technology ecosystem.
The book “Quantum in Pictures” is available at Amazon via print-on-demand, and published by the quantum computing company Quantinuum that I am with now, so that we could retain full control of the content and presentation. The cover is attached. (not trying to make any money here as we are selling without profit, in order to maximise economic inclusivity)
We also video'd lectures of the entire book and I'll post again here when they are released on Youtube.
As an aside, those monoidal quantum pictures are not only enabling inclusivity, but they are now also used by many quantum computing companies like Google, IBM, PsiQuantum, and of course ourselves, for lots of technical challenges.
Ralph Sarkis (Feb 27 2023 at 12:54):Are there people already working on translations?
Bob Coecke (Feb 27 2023 at 13:41):Actually, me. Don't want the Belgium-Holland version to be "Northern Dutch". :) We've been looking around for other translators too.