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

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

\;
category-theory-banner-light

This entry was posted on Wednesday, March 25th, 2020 at 4:33 am and is filed under mathematics, the practice of science. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

22 Responses to Category Theory Community Server

  1. ACT@UCR Seminar | Azimuth says:
    6 April, 2020 at 10:14 pm

    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.

    Reply
  2. bhaugen says:
    28 April, 2020 at 12:25 pm

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

    Reply
  3. Ishan Dasgupta Samarendra says:
    27 October, 2020 at 6:09 pm

    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.

    Reply
  4. Xinyaanzyoy (心言自由) The Helper Boy says:
    14 November, 2020 at 12:03 am

    Prof. Can you please update the invitation link?

    Reply
  5. o1lo01ol1o (@o1lo01ol1o) says:
    28 November, 2020 at 10:23 pm

    Hello,

    the link has expired again! Could it be updated?

    Thx!

    Reply
  6. gasche says:
    19 January, 2021 at 7:50 am

    The invitation link expired again.

    Reply
  7. Dan Christensen says:
    6 February, 2021 at 3:58 pm

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

    Reply
    • John Baez says:
      6 February, 2021 at 7:09 pm

      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.

      Reply
  8. Jason Gross says:
    18 April, 2021 at 4:37 pm

    Could you update it again? Thanks!

    Reply
  9. Marcelo Muniz Alves says:
    28 April, 2021 at 10:49 pm

    Dear John, could you please update the link to the community on Zullip? Thanks in advance

    Reply
  10. Kyle says:
    10 May, 2021 at 1:46 am

    Hi John, can you please update the link again? Thanks!

    Reply

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.

Fill in your details below or click an icon to log in:

Gravatar
WordPress.com Logo

You are commenting using your WordPress.com account. ( Log Out /  Change )

Google photo

You are commenting using your Google account. ( Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. ( Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. ( Log Out /  Change )

Cancel

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.