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.
Morgan Rogers (he/him) (Apr 04 2020 at 17:19):Christian Williams said:
I've not yet been nearly proactive enough yet to help the server -- we have a nice stream structure laid out waiting to be implemented, and there are guidelines we've recognized as necessary that we haven't yet made clear to the community. I apologize for being slow with this stuff. Part of the issue is being overwhelmed -- I think many members may have have shied away from the server because there is such a flood of messages. Online communication comes easier to some than others, and we need to respect this.
I've been quite active on this server; is there anything I can do to get more involved in eg moderation? I've been organising conversations by branching topics wherever I see the focus has shifted, but if there's more I can do, even if it's just on a few streams, I would love to help.
Christian Williams (Apr 04 2020 at 17:20):The stream #meta is where we work on helping the server.
Christian Williams (Apr 04 2020 at 17:21):Thanks for offering!
Morgan Rogers (he/him) (Apr 04 2020 at 17:40):Christian Williams said:
The stream #meta is where we work on helping the server.
Of course :face_palm: I'll see you there.