My student Christian Williams has started a community server for category theory, computer science, logic, as well as general science and industry. In just a few days, it has grown into a large and lively place, with people of many backgrounds and interests. Please feel free to join!
Join here:
https://categorytheory.zulipchat.com/join/crexj49uvyghzyiwjvezf1hl/
(this link will expire in a while) and from then on you can just go here:
http://categorytheory.zulipchat.com
We’re having a seminar on applied category theory at U. C. Riverside, organized by Joe Moeller and Christian Williams.
It will take place on Wednesdays at 5 pm UTC, which is 10 am in California or 1 pm on the east coast of the United States, or 6 pm in England.
We’ll have discussions on the Category Theory Community Server.
Yes, that join link has expired, and now zulip says an invitation is required to sign up.
There’s a new join link now, which should last for about 10 days.