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.
John Baez (Apr 12 2021 at 20:31):Steve Wolfram is getting into category theory:
Fabrizio Genovese (Apr 12 2021 at 20:41):Lol, by experience, trying to explain cats to Stephen Wolfram is quite the task :smile:
Matteo Capucci (he/him) (Apr 12 2021 at 20:42)::grinning_face_with_smiling_eyes:
Fabrizio Genovese (Apr 12 2021 at 20:43):In any case, Jonathan Gorard has been working quite a lot with cats lately, especially in trying to connect what they are doing with ZX Calculus
Fabrizio Genovese (Apr 12 2021 at 20:43):He gave a talk about that just this week and it was very interesting.
Fabrizio Genovese (Apr 12 2021 at 20:44):It turns out that the kind of rewriting of graphs they are doing can be arranged into a category that has a log of nice properties, among which being dagger compact closed
Fabrizio Genovese (Apr 12 2021 at 20:45):The problem of explaining stuff to Stephen is that he always tries to anticipate what you are going to say, very often what he anticipates is NOT what you were going to say and the result is that it is very very hard to finish a sentence without being recursively side-tracked.
Matteo Capucci (he/him) (Apr 12 2021 at 20:48):Yeah it'd be actually great if this means computational tools for CT landing in Mathematica
Fabrizio Genovese (Apr 12 2021 at 20:49):If you can reduce a CT computational task to graph rewriting (which by the way is often a good thing to do) then you are already in luck
Fabrizio Genovese (Apr 12 2021 at 20:50):"Computational tools for CT" can mean a lot of things. For sure Mathematica can help with everything that is circuit/string diagrams rewriting. I am not a fan of closed-source stuff but Mathematica is crazy optimized, one has to give them that.
Matteo Capucci (he/him) (Apr 12 2021 at 20:58):I mean of the sort that Jonathan has been showcasing
Fabrizio Genovese (Apr 12 2021 at 21:02):Yeah, for that kind of stuff I guess you can expect nice tools popping out at some point
John Baez (Apr 12 2021 at 23:32):Fabrizio Genovese said:
The problem of explaining stuff to Stephen is that he always tries to anticipate what you are going to say, very often what he anticipates is NOT what you were going to say and the result is that it is very very hard to finish a sentence without being recursively side-tracked.
Nonetheless, it seems you helped get him interested in category theory.
Fabrizio Genovese (Apr 13 2021 at 09:27):I'm very good at making people think they understood something with them actually understanding nothing, all the while understanding nothing myself!
Fabrizio Genovese (Apr 13 2021 at 09:27):I call it "Babel-like communication"