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!
Register here:
https://categorytheory.zulipchat.com/join/igyt4v6xzwrlsmvjswcmcjqg/
(this link will expire in a while) and from then on you can just go here:
http://categorytheory.zulipchat.com
If the link for registration has expired, just let me know and I’ll revive it.
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.
is there a new link? or invite?
I’m updating the link now. This needs to be done every two weeks, or whenever anyone asks.
Dear Professor Baez
I would like to join the community on Zulip. Would it be possible for you to kindly update the link?
Many thanks in advance.
Okay, I updated it!
Thank you very much!
Prof. Can you please update the invitation link?
Okay, I updated it!
Hello,
the link has expired again! Could it be updated?
Thx!
Okay, I updated it!
The invitation link expired again.
Okay, I updated it!
Since this seems to be the canonical place to get the link, can you update it again? Thanks!
Hi! I updated it. We’ve got a lot of computer-related category theory going on there, and applied category theory, and various other kinds of category theory, including topos theory and just a bit of homotopy type theory.