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.
Email Gateway (Oct 29 2023 at 13:01):From: JS Lemay <js.lemay@mq.edu.au>
From: Bob Coecke <Bob.Coecke@quantinuum.com>
Sent: Monday, October 30, 2023 12:00:37 AM (UTC+10:00) Canberra, Melbourne, Sydney
To: Ross Street <ross.street@mq.edu.au>; JS Lemay <js.lemay@mq.edu.au>; Bob Coecke <Bob.Coecke@quantinuum.com>; Categories mailing list <categories@mq.edu.au>; posinavrayudu <posinavrayudu@gmail.com>
Subject: Re: [EXT] Re: Categories vis-a-vis Naturality
I think that we have been quite successful in doing stuff with category theory, having made it widely used in quantum industry, by companies like IBM, Google, ourselves, and may others.
Photonic quantum computing now uses string diagrams as their main language.
Soon we'll report on an educational experiment we did over the summer, showing that category theory can actually make inaccessible things accessible, and likely will affect how physics is thought in secondary school.
We even got Jim Lambek into Forbes! :smile: (the last place they expected to see him one of his sons told me)
https://www.forbes.com/sites/moorinsights/2021/10/13/cambridge-quantum-makes-quantum-natural-language-processing-a-reality/<https://protect-au.mimecast.com/s/te3PCnx1Z5UwBj22S9DUxu?domain=forbes.com/>
[https://imageio.forbes.com/specials-images/imageserve/61672daae1c3ad03b91e3a1c/0x0.jpg?format=jpg&height=900&width=1600&fit=bounds]<https://protect-au.mimecast.com/s/te3PCnx1Z5UwBj22S9DUxu?domain=forbes.com/>
Cambridge Quantum Makes Quantum Natural Language Processing A Reality<https://protect-au.mimecast.com/s/te3PCnx1Z5UwBj22S9DUxu?domain=forbes.com/>
Senior Analyst, AI & Quantum Computing, Paul Smith-Goodson, dives in as Cambridge Quantum ("CQ") today announced a quantum computing first. It released an open-source toolkit and library for a Quantum Natural Language Processing (QNLP) toolkit called lambeq.
www.forbes.com<https://protect-au.mimecast.com/s/flvACp81gYCk6KWWHY5zo5?domain=forbes.com>
https://www.forbes.com/sites/moorinsights/2022/04/12/quantinuum-enhances-the-worlds-first-quantum-natural-language-processing-toolkit-making-it-even-more-powerful/<https://protect-au.mimecast.com/s/jgxwCq71jxfBwl33iEcHwU?domain=forbes.com/>
[https://imageio.forbes.com/specials-images/imageserve/6255cb7fe0f6c59460404a9c/0x0.jpg?format=jpg&height=900&width=1600&fit=bounds]<https://protect-au.mimecast.com/s/jgxwCq71jxfBwl33iEcHwU?domain=forbes.com/>
Quantinuum Enhances The World’s First Quantum Natural Language Processing Toolkit Making It Even More Powerful<https://protect-au.mimecast.com/s/jgxwCq71jxfBwl33iEcHwU?domain=forbes.com/>
Senior Analyst, AI & Quantum Computing, Paul Smith-Goodson, dives in as Quantinuum is an integrated software-hardware quantum computing company that uses trapped-ion for its compute technology. It recently released a significant update to its Lambeq open-source Python library and toolkit.
www.forbes.com<https://protect-au.mimecast.com/s/flvACp81gYCk6KWWHY5zo5?domain=forbes.com>
Honestly...naturality, adjunctions, Yoneda...have never played any direct role in anything we did.
Our starting point is that monoidal categories are the direct description of processes, something that first started in computer science, and we then carried over to physics, and then cognition and AI. I'd say that it enables an Heraclites+Schrodinger picture of reality.
But there are of course a ton of other uses of CT, which are completely unrelated, if not orthogonal, and rely on naturality, adjunctions, Yoneda...
Dogmatic slogans about what category theory is supposed to be have done nothing but damage to the field. It seems to me that the culture has become more healthy and tolerant now, with the growing use of CT in many areas outside of mathematics, where not ideology, but use matters.
Cheers, Bob.
From: Ross Street <ross.street@mq.edu.au>
Sent: 29 October 2023 06:31
To: JS Lemay <js.lemay@mq.edu.au>
Cc: Categories mailing list <categories@mq.edu.au>; posinavrayudu <posinavrayudu@gmail.com>
Subject: [EXT] Re: Categories vis-a-vis Naturality
CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe.
================================================
"Yoneda showed that maps in any category can be
represented as natural transformations" (Lawvere & Schanuel,
Conceptual Mathematics, p. 378). Isn't this reason enough to think of
category theory as the theory of naturality?
================================================
That would be like saying group theory is the theory of permutations
(because of the Cayley theorem).
Perhaps my little colloquium talk entitled
``The natural transformation in mathematics''
at
http://science.mq.edu.au/~street/MathCollMar2017_h.pdf
would be of some interest in this connexion. I am sure lots of us have
given similar talks. The goal of the paper considered the first in category
theory was to define natural transformation. That required functor, and
that required category.
Ross
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.
View group files<https://protect-au.mimecast.com/s/dQphCvl1g2S1VK55H5xo4i?domain=outlook.office365.com> | Leave group<https://protect-au.mimecast.com/s/GYGtCwV1jpS6r9mmIxttjj?domain=outlook.office365.com> | Learn more about Microsoft 365 Groups<https://protect-au.mimecast.com/s/Tn4lCxngGkf8NwVVsgze2G?domain=aka.ms>
Email Gateway (Oct 29 2023 at 13:51):From: JS Lemay <js.lemay@mq.edu.au>
From: Posina Venkata Rayudu <posinavrayudu@gmail.com>
Sent: Monday, October 30, 2023 12:50:40 AM (UTC+10:00) Canberra, Melbourne, Sydney
To: Bob Coecke <Bob.Coecke@quantinuum.com>
Cc: Ross Street <ross.street@mq.edu.au>; JS Lemay <js.lemay@mq.edu.au>; Categories mailing list <categories@mq.edu.au>
Subject: Re: [EXT] Re: Categories vis-a-vis Naturality
Dear Professor Coecke,
Thank you very much for sharing with us all your fascinating advances in applying category theory!
With all due respect, it's your commitment to pragmatism (as you are immediate concern) that we parts ways; but it's in this spirt of science:
Thanking you,
Yours truly,
posina
P.S. If only there were a view-from-nowhere ;)
On Sun, Oct 29, 2023 at 6:30 PM Bob Coecke <Bob.Coecke@quantinuum.com<mailto:Bob.Coecke@quantinuum.com>> wrote:
I think that we have been quite successful in doing stuff with category theory, having made it widely used in quantum industry, by companies like IBM, Google, ourselves, and may others.
Photonic quantum computing now uses string diagrams as their main language.
Soon we'll report on an educational experiment we did over the summer, showing that category theory can actually make inaccessible things accessible, and likely will affect how physics is thought in secondary school.
We even got Jim Lambek into Forbes! :smile: (the last place they expected to see him one of his sons told me)
https://www.forbes.com/sites/moorinsights/2021/10/13/cambridge-quantum-makes-quantum-natural-language-processing-a-reality/<https://protect-au.mimecast.com/s/38tmClx1OYUG4n6Oc9ijAl?domain=forbes.com/>
[https://imageio.forbes.com/specials-images/imageserve/61672daae1c3ad03b91e3a1c/0x0.jpg?format=jpg&height=900&width=1600&fit=bounds]<https://protect-au.mimecast.com/s/38tmClx1OYUG4n6Oc9ijAl?domain=forbes.com/>
Cambridge Quantum Makes Quantum Natural Language Processing A Reality<https://protect-au.mimecast.com/s/38tmClx1OYUG4n6Oc9ijAl?domain=forbes.com/>
Senior Analyst, AI & Quantum Computing, Paul Smith-Goodson, dives in as Cambridge Quantum ("CQ") today announced a quantum computing first. It released an open-source toolkit and library for a Quantum Natural Language Processing (QNLP) toolkit called lambeq.
www.forbes.com<https://protect-au.mimecast.com/s/PdjbCr810kCMJV4wTQyV1s?domain=forbes.com>
https://www.forbes.com/sites/moorinsights/2022/04/12/quantinuum-enhances-the-worlds-first-quantum-natural-language-processing-toolkit-making-it-even-more-powerful/<https://protect-au.mimecast.com/s/EtncCnx1Z5UwBOrlsZ-2Ns?domain=forbes.com/>
[https://imageio.forbes.com/specials-images/imageserve/6255cb7fe0f6c59460404a9c/0x0.jpg?format=jpg&height=900&width=1600&fit=bounds]<https://protect-au.mimecast.com/s/EtncCnx1Z5UwBOrlsZ-2Ns?domain=forbes.com/>
Quantinuum Enhances The World’s First Quantum Natural Language Processing Toolkit Making It Even More Powerful<https://protect-au.mimecast.com/s/EtncCnx1Z5UwBOrlsZ-2Ns?domain=forbes.com/>
Senior Analyst, AI & Quantum Computing, Paul Smith-Goodson, dives in as Quantinuum is an integrated software-hardware quantum computing company that uses trapped-ion for its compute technology. It recently released a significant update to its Lambeq open-source Python library and toolkit.
www.forbes.com<https://protect-au.mimecast.com/s/PdjbCr810kCMJV4wTQyV1s?domain=forbes.com>
Honestly...naturality, adjunctions, Yoneda...have never played any direct role in anything we did.
Our starting point is that monoidal categories are the direct description of processes, something that first started in computer science, and we then carried over to physics, and then cognition and AI. I'd say that it enables an Heraclites+Schrodinger picture of reality.
But there are of course a ton of other uses of CT, which are completely unrelated, if not orthogonal, and rely on naturality, adjunctions, Yoneda...
Dogmatic slogans about what category theory is supposed to be have done nothing but damage to the field. It seems to me that the culture has become more healthy and tolerant now, with the growing use of CT in many areas outside of mathematics, where not ideology, but use matters.
Cheers, Bob.
From: Ross Street <ross.street@mq.edu.au<mailto:ross.street@mq.edu.au>>
Sent: 29 October 2023 06:31
To: JS Lemay <js.lemay@mq.edu.au<mailto:js.lemay@mq.edu.au>>
Cc: Categories mailing list <categories@mq.edu.au<mailto:categories@mq.edu.au>>; posinavrayudu <posinavrayudu@gmail.com<mailto:posinavrayudu@gmail.com>>
Subject: [EXT] Re: Categories vis-a-vis Naturality
CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe.
================================================
"Yoneda showed that maps in any category can be
represented as natural transformations" (Lawvere & Schanuel,
Conceptual Mathematics, p. 378). Isn't this reason enough to think of
category theory as the theory of naturality?
================================================
That would be like saying group theory is the theory of permutations
(because of the Cayley theorem).
Perhaps my little colloquium talk entitled
``The natural transformation in mathematics''
at
http://science.mq.edu.au/~street/MathCollMar2017_h.pdf
would be of some interest in this connexion. I am sure lots of us have
given similar talks. The goal of the paper considered the first in category
theory was to define natural transformation. That required functor, and
that required category.
Ross
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.
View group files<https://protect-au.mimecast.com/s/WzBCCoV1Y2S9Wq6lTOibAK?domain=outlook.office365.com> | Leave group<https://protect-au.mimecast.com/s/dVlbCp81gYCk6MpQh2oA0W?domain=outlook.office365.com> | Learn more about Microsoft 365 Groups<https://protect-au.mimecast.com/s/CFjgCq71jxfBw0JLsqQyVg?domain=aka.ms>