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.
Tim Hosgood (Oct 23 2020 at 13:39):If any of you follow me on Twitter then you'll know that I've been thinking (for quite some time) about how to make translation of mathematical things much easier, both manually and automatically. On the latter side, I've written some small things about a categorical approach to the problem, but on the former side, I've been trying to compile a multilingual maths dictionary. At the moment it's not very full at all, but I've been getting some submissions recently, and it's growing ever so slowly. I've spent a day or so trying to get the web interface to view it to work nicely, and now it's bearable at least, so feel free to have a look! https://thosgood.com/maths-dictionary/
Tim Hosgood (Oct 23 2020 at 13:40):if you'd like to contribute a phrase or two, then you can do so at https://forms.gle/KPmdx3K2MBizpGQ79 ; if you'd like to make a bigger contribution (say, a spreadsheet or CSV of a bunch of terms), then just drop me a message and we can talk about it :-)
Tim Hosgood (Oct 23 2020 at 13:42):as for the categorical translation, I haven't had time to do anything since the first (very sketchy) proof of concept, but here's what that looked like: Screenshot-2020-10-23-at-15.41.49.png
Nathanael Arkor (Oct 23 2020 at 14:18):This looks like the start of a very useful resource!
Tim Hosgood (Oct 23 2020 at 14:20):Nathanael Arkor said:
This looks like the start of a very useful resource!
hopefully so! my next goal is to make it much easier to contribute to