## Category Theory Community Server

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/mlhue3rohnl5o6c3azr3bin3/

(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.

$\;$

### 60 Responses to Category Theory Community Server

1. 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.

2. bhaugen says:

Yes, that join link has expired, and now zulip says an invitation is required to sign up.

• John Baez says:

There’s a new join link now, which should last for about 10 days.

• kentpalmer says:

is there a new link? or invite?

• John Baez says:

I’m updating the link now. This needs to be done every two weeks, or whenever anyone asks.

3. Ishan Dasgupta Samarendra says:

Dear Professor Baez
I would like to join the community on Zulip. Would it be possible for you to kindly update the link?

• John Baez says:

Okay, I updated it!

• Ishan Dasgupta Samarendra says:

Thank you very much!

5. Hello,

the link has expired again! Could it be updated?

Thx!

6. gasche says:

7. Dan Christensen says:

Since this seems to be the canonical place to get the link, can you update it again? Thanks!

• John Baez says:

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.

8. Jason Gross says:

Could you update it again? Thanks!

9. Marcelo Muniz Alves says:

10. Kyle says:

11. ct says:

12. John Baez says:

Okay, I’m doing it right now…

• John Baez says:

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

14. Richard says:

John Baez,

15. Diego Vallejo says:

16. Bamboo says:

17. art0wp says:

Dear Prof. Baez,
Thank you!

• John Baez says:

Okay, I did it. Sorry for the delay—I was traveling.

18. an says:

The link needs to update again :\

• John Baez says:

Okay, I did it. Sorry for the delay—I was traveling.

19. Jack Murray says:

Hi, could you update the link? Thanks!

• John Baez says:

Okay, I did it. Sorry for the delay—I was traveling.

20. Anand says:

Dear Professor Baez,

• John Baez says:

Okay, I did it. Sorry for the delay—I was traveling.

21. Hart Montgomery says:

Hi Professor Baez,
Would you mind updating the link again? Thank you very much for your time.

22. Qi Zhu says:

Dear Prof. Baez,

Hi Prof. Baez,

24. krzysiacz says:

Dear Prof. Baez,

I feel very embarrassed to ask for updating the zulip-link, but there is no other way, right?
Christian

25. Abel Nieto says:

Hi! The link seems to have expired. Could you kindly update it? Thanks.

• John Baez says:

Okay, I’ll do that now. Welcome to the club!

26. jeremyboom8 says:

27. Miguel says:

Hi John,
Would it be possible to get that link updated once more?
MA

• John Baez says:

Okay, I updated it! Good luck and see you on the Category Theory Community Server!

28. paulomorphisme says:

Dear John Baez, i’m begining to use zulip and a bit lost in the process needed to succeed in order to access zulip category theory channel. Can you enlighten me ?

• John Baez says:

First you need to tell me to update the link on my blog article here: you can’t log in if the link has expired. Let’s pretend you just did that. I just updated the link.

Then click on the link on my blog article, where I say “Register here”.

It should be easy from there, but if not, tell me where you get stuck.