You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Jacques Carette (Aug 28 2020 at 16:28):Could some admin create a new invite link and post it to reddit at https://www.reddit.com/r/compsci/comments/ihozur/new_applied_category_theory_server/ ?
Jules Hedges (Aug 28 2020 at 16:37):Here is a link: https://categorytheory.zulipchat.com/join/qgnp8gd3feuxyf9rj5tpy6rm/
Jacques Carette (Aug 28 2020 at 16:37):Thanks, will post.
Oscar Cunningham (Sep 10 2020 at 14:26):Can we generate another one? Someone's asking for one over on the HoTT Zulip.
Jules Hedges (Sep 10 2020 at 14:27):https://categorytheory.zulipchat.com/join/krf6f8ocdsnwgbbdle5dh548/
cotype (Sep 10 2020 at 14:44):Could we get a link to the HoTT Zulip?
Dan Doel (Sep 10 2020 at 15:00):Do you need a special link? I joined somehow and I'm not sure I had one. https://hott.zulipchat.com I could just have forgotten that I had one, though.
cotype (Sep 10 2020 at 15:07):It worked, thanks!
Dan Doel (Sep 10 2020 at 15:08):Cool.
Eduardo Ochs (Oct 02 2020 at 19:08):The link on https://johncarlosbaez.wordpress.com/2020/03/25/category-theory-community-server/ expired again. Can we generate a new one?
John Baez (Oct 02 2020 at 20:44):Yes, I'll do it in a minute...
John Baez (Oct 02 2020 at 20:46):Here you go:
https://categorytheory.zulipchat.com/join/oglymtld3os4kxq4mm2qc7pf/
I'll also update it on the blog.
Eduardo Ochs (Oct 03 2020 at 00:50):Tnanks!!! =)
John van de Wetering (Jan 11 2021 at 14:46):That link is expired again. Can we have a new one?
John van de Wetering (Jan 11 2021 at 14:46):Also, surely there must be a better way to do this?
Morgan Rogers (he/him) (Jan 11 2021 at 14:51):@Matteo Capucci and I tried to write a bot which would do it, but after a 3 hour session trying and failing to set up a python environment in which we could run the relevant libraries to write the bot programme, we gave up :upside_down:
So for the time being, Matteo is that bot.
Nathanael Arkor (Jan 11 2021 at 14:51):There is always a fresh link in https://categorytheory.zulipchat.com/#narrow/stream/229122-general.3A-meta/topic/invite.20link.
John van de Wetering (Jan 11 2021 at 14:52):Great! Thanks!
Matteo Capucci (he/him) (Jan 11 2021 at 15:13)::robot:
Matteo Capucci (he/him) (Jan 11 2021 at 15:13):Apparently the problem now is that nobody is noticing the links I post every week
Nathanael Arkor (Jan 11 2021 at 15:15):I've updated the stream message for #general, which gives it a bit more visibility.
Jules Hedges (Jan 11 2021 at 15:15):Nobody notices you when you're a bot. This is one of the grievances that will lead to the robot uprising
Matteo Capucci (he/him) (Jan 11 2021 at 15:37):Nathanael Arkor said:
I've updated the stream message for #general, which gives it a bit more visibility.
Great move! I didn't think it was possible to put links in the message.