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.
Doug Needham (Oct 28 2022 at 12:49):In the books I have read about Category Theory, and the articles and such I have read about it, I see plenty of authors refer to Latex to write expressions, equations, and diagrams. Are there any packages for languages such as R or Python to use for Category Theory?
Amar Hadzihasanovic (Oct 28 2022 at 12:54):You may want to take a look at Catlab (for Julia), discopy, or my own rewalt, the last two for Python.
Michael Stone (Oct 28 2022 at 13:13):“Computational Category Theory”, by Rydeheard and Burstall may also be worth knowing about. It is written in ML (which is different than you asked about but not too hard to pick up); however, it has clear writing and a pedagogic focus that make it accessible in ways that I have found helpful.
Doug Needham (Oct 28 2022 at 13:43):Amar Hadzihasanovic said:
You may want to take a look at Catlab (for Julia), discopy, or my own rewalt, the last two for Python.
Thank you
Doug Needham (Oct 28 2022 at 13:43):Michael Stone said:
“Computational Category Theory”, by Rydeheard and Burstall may also be worth knowing about. It is written in ML (which is different than you asked about but not too hard to pick up); however, it has clear writing and a pedagogic focus that make it accessible in ways that I have found helpful.
Thank you
John Baez (Oct 28 2022 at 16:12):A bunch of us are involved in using Catlab to do category theory programming in Julia: