Category Theory
Zulip Server
Archive

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.

Stream: meta: welcome

Topic: welcome!

view this post on Zulip Matteo Capucci (he/him) (Apr 29 2022 at 07:06):

Hello there!
Welcome to Category Theory Zulip. In this chatroom we exchange knowledge and ideas about CT, and more widely math, for fun and profit.

Zulip messages are organized in two levels of hierarchy, streams and topics. Streams are thematic groups of topics which are themselves thematic groups for message. For instance, you're looking now at a message in the topic #meta: welcome > welcome of the stream #meta: welcome. Some streams are public and some are private. Nobody can see what you post in private streams, not even admins.

To participate and follow conversations, check the + button next to the 'STREAMS' menu on the left :left:. You can browse streams from there and subscribe to the ones you'd like to follow. To maximize discoverability, we suggest to subscribe to most streams and make use of the mute button for the topics you don't want to follow anymore.

Here's a rundown of the main streams in this Zulip instance:

  1. #community: general, the main square, start here to introduce yourself to the community
  2. #learning: questions for any CT-related question. This is were most conversations happen.
  3. #theory: category theory for hardcore category theory conversations.
  4. #theory: applications for applied category theory conversations.
  5. #community: events is where seminars, conferences and events of all sorts are advertised
  6. #community: positions is where new jobs available or gotten are advertised
  7. #community: our work is where people advertise projects they're working on
  8. #meta: off-topic OT content, memes
  9. #meta: meta is where we talk about the Zulip server itself

We invite you to browse streams and subscribe to the ones you're interested to (there's not many more tbh!).

It's important to know most public streams around here are publicly archived at this location. This in order to make the content here citable and linkable to the outside world, and to keep a backup and historical record of the conversations happening here. Bear this in mind when you post! In any case, anyone can join and look around anyway, so you should expect anyone to be able to read whatever you write in a public stream.

Before you go, here's the rules we gave ourselves:

Zulip Community Guidelines

The Category Theory Community Server is a friendly, welcoming environment to learn and discuss category theory and its applications, as well as mathematics, science, and life. As part of this, we welcome beginners and encourage teaching. Technical, research-related questions and discussions are also welcome.

Here are our policies for maintaining a friendly, open culture:

Engage in constructive discussion. Try to understand what others know and how they are thinking. We welcome researchers, beginners and everything in between, so try to respond on the level of the readers when possible. Encourage helpful members by acknowledging their contributions publicly.

Appreciate diversity and uplift one another. The group is large, and our varied backgrounds and strengths are valuable. Avoid getting frustrated by ambiguity, "newbies" and the like: either be helpful or move along. Be patient and take satisfaction from sharing knowledge.

Mind others’ time. Consider that 1000+ people may read any given discussion here. Make your contributions relevant and reasonably concise. A debate is okay if it is respectful and purposeful; otherwise steer the topic back on track or let it go.

Be nice and inclusive. We have no tolerance for rudeness, insults, bullying, or ad hominem arguments. After one official warning, users engaging in these behaviors will be banned. If you see someone engaged in these behaviors, either respond very politely, ignore them, or send a private message to a moderator.

List of moderators:

Christian Williams (williams@math.ucr.edu)
Matteo Capucci (he/him) (matteo.capucci@gmail.com)
Morgan Rogers (he/him) (mogrog@live.co.uk)
Jules Hedges
Nathanael Arkor
Paolo Perrone (www.paoloperrone.org)
Chris Grossack (they/them)
Joe Moeller

You can summon us by tagging @moderators in your message.

If you are having any difficulty navigating Zulip, communicate this in any way you can and someone will surely find and help you. If you are interested in joining the team of moderators, get in touch!