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.
David Tanzer (Jun 09 2020 at 04:41):I was writing about this ACT community server running on Zulipchat, which is a lot of words. Shorter names that came to mind were Zulip forum, Z-forum and ACT forum. Clearly the latter is most descriptive, so I'll go with that for now. Just sharing the thought.
(=_=) (Jun 09 2020 at 05:54):David Tanzer said:
Shorter names that came to mind were Zulip forum, Z-forum and ACT forum. Clearly the latter is most descriptive, so I'll go with that for now.
I'd say the ACT Zulip, because there could potentially be other fora on other platforms in the future.
David Tanzer (Jun 09 2020 at 07:01):That is concise, but idiosyncratic, as most people won't know what a Zulip is.
David Tanzer (Jun 09 2020 at 07:02):Perhaps then: the ACT Zulip forum.
(=_=) (Jun 09 2020 at 07:08):David Tanzer said:
That is concise, but idiosyncratic, as most people won't know what a Zulip is.
I'd say the capital Z is a hint to most people that this is a proper noun and, hence, something they should google if they're not familiar with the name. Notice that I've decapitalised the G in Google, because it's now so commonplace to say "google" for "look for something using a search engine" (like how people used to say "xerox", or how we'd say "scotch tape") that it seems superfluous to capitalise the word.
Morgan Rogers (he/him) (Jun 09 2020 at 09:36):While I am enjoying engaging with applied folks on here, I by no means consider myself an applied category theorist (yet!). Also the heading in the top right just reads "Category Theory". So maybe drop the A to be more inclusive?
Jules Hedges (Jun 09 2020 at 10:10):Yeah, this isn't an ACT forum, it's a CT forum which pretty much has just one channel for ACT
Jules Hedges (Jun 09 2020 at 10:11):We did discuss making something specifically for ACT right at the beginning. I was against it, I thought ACT was too small
Jules Hedges (Jun 09 2020 at 10:11):How about the Z-lab ducks
Ian Price (May 08 2021 at 21:48):My suggestion would be contracting CATegory theory zuLIP to catlips, if only to see the look on peoples faces when I say it
John Baez (May 08 2021 at 22:25):The "official" name for this place has been the "Category theory community server".
John Baez (May 08 2021 at 22:28):But I'm not gonna insist on that. I do insist that it's about category theory, not just applied category theory. And I don't see why we need to call it something that contains the brand name "Zulip". That's just the underlying technology.
Would it be bad to call it the "category forum"? Are there other category forums?
Mike Shulman (May 08 2021 at 22:41):Maybe we don't need to call it something containing "zulip", but that's the most natural thing for many people (including myself) to call it, because that's what it is. I have a much easier time remembering what "the category theory zulip" is than "the category theory community server".
Joe Moeller (May 09 2021 at 16:13):I always say "the category theory zulip".
John van de Wetering (May 09 2021 at 18:48):Same
Fabrizio Genovese (May 09 2021 at 20:21):I just drop the link and say "here".