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!

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.

You can use Markdown or HTML in your comments. You can also use LaTeX, like this: $latex E = m c^2 $. The word 'latex' comes right after the first dollar sign, with a space after it. Cancel reply

You need the word 'latex' right after the first dollar sign, and it needs a space after it. Double dollar signs don't work, and other limitations apply, some described here. You can't preview comments here, but I'm happy to fix errors.

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.

Could you update it again? Thanks!

Done!

Dear John, could you please update the link to the community on Zullip? Thanks in advance

Okay!

Hi John, can you please update the link again? Thanks!

Yes!

Would you please update the link again?

Okay, I’m doing it right now…

Can you please update the link

Right now it’s working – it doesn’t need updating.

John Baez,

Could you please update the Zulip link?

Done!