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.
Bruno Gavranović (Oct 04 2022 at 21:01):Hello everyone, and welcome to the official Zulip stream for Categories for AI!
Zulip is a chat platform organised in streams and topics - and you're now in the "workshop: Categories for AI" stream. This stream is meant for discussions about theory, practice and ideas about all things concerning Category Theory and Deep Learning. Inside this stream there will be various topics for discussion - feel free to have a look around, and chat with your fellow course participants.
On the left side you might notice that there is another stream titled "general: welcome". This is the introduction stream for the entire Applied Category Theory community, and the only other one you're currently subscribed to. We suggest you have a look at it, since it includes much more information about functionality of Zulip, and suggestions on how to get around. Importantly, it also includes community rules and guidelines - make sure you read and adhere to them.
Looking around on this Zulip you will find many Category Theory conversations! Don't worry about if some of them seem foreign (they certainly will!). The course we're running here is meant to teach you what these things are, and give you a sense of how to proceed learning CT on your own.
So please, do feel free to have a look around, and give me or any members of the organising team (@Petar Veličković @joaogui1 (he/him) , @Pim) a shout if you need any help.