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.
Bryan Bischof (Mar 23 2020 at 23:27):I'm extremely interested in seeing explicit examples for string diagrams in applications. I recently had a twitter conversation with @Jules Hedges which had some nice links, but I think it could be an excellent resource for those like me with some background, and a hunger to use these tools in their own work
Bryan Bischof (Mar 23 2020 at 23:29):For context here is the thread of @Jules Hedges : https://twitter.com/_julesh_/status/1241408623231860736?s=20
Diagrams are in general underrated. https://twitter.com/VitalikButerin/status/1241396373670559748
- julesh (@_julesh_) Joe Moeller (Mar 23 2020 at 23:30):How "applications" do to want these applications to be?
Bryan Bischof (Mar 23 2020 at 23:33):While I think it's a fascinating and challenging discussion, I dont know if I'm prepared to make any claims about the objective line between application and theory. To wit, I would love to see examples like "here's how i used this to improve my ML models/code/defining equations in biological system", but I'm personally not going to tell anyone their application is wrong.
Joe Moeller (Mar 23 2020 at 23:35):I think the easiest thing to point to is the work of Bob Coecke and his gang.
Joe Moeller (Mar 23 2020 at 23:36):Diagrams all day, and it's for quantum computation and natural language processing.
Bryan Bischof (Mar 23 2020 at 23:36):Fabrizio Romano Genovese kindly pointed to that in the thread which was a great reference, that i've not yet had time to follow up on.
Bryan Bischof (Mar 23 2020 at 23:37):I know that Jules has previously referred to the book of https://www.amazon.com/Industrial-Dynamics-Jay-Wright-Forrester/dp/1614275335
Bryan Bischof (Mar 23 2020 at 23:39):I personally feel motivated to learn these tools to simplify some of the very complicated interactions in my work in industry, but I dont feel confident knowing where to get started. (note, one annoying caveat is that it's very hard for me to just discuss what i need with outside academics because so much is tied into NDA)
Georgios Bakirtzis (Mar 23 2020 at 23:46):I think control is an area you see a lot of diagrams. I do believe this is more a topic for the applied category theory stream than here
sarahzrf (Mar 24 2020 at 02:05): sarahzrf (Mar 24 2020 at 02:06):
Bryan Bischof (Mar 24 2020 at 06:19):Interesting^ have you read much of this?