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.