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! 🙂 (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... [https://imageio.forbes.com/specials-images/imageserve/61672daae1c3ad03b91e3a1c/0x0.jpg?format=jpg&height=900&width=1600&fit=bounds] Cambridge Quantum Makes Quantum Natural Language Processing A Reality 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://www.forbes.com/sites/moorinsights/2022/04/12/quantinuum-enhances-the... [https://imageio.forbes.com/specials-images/imageserve/6255cb7fe0f6c59460404a9c/0x0.jpg?format=jpg&height=900&width=1600&fit=bounds] Quantinuum Enhances The World’s First Quantum Natural Language Processing Toolkit Making It Even More Powerful 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 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://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>