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.
Joshua Meyers (Apr 07 2021 at 01:25):Join the ACT DIrectory! Put down your information and how you want to interact with the community, and use it to find other people for interactions.
The ACT Directory is part of a broader project to empower the ACT community. If you have ideas about this, would like more information, or would like to join the project, contact me or @Christian Williams.
Christian Williams (Apr 07 2021 at 19:59):@everyone
If you're wondering whether you're a part of the ACT community: yes you are!
Join the ACT Directory and use it to learn and connect with everyone. (and provide feedback here.) Thanks!
Christian Williams (Apr 07 2021 at 21:33):So far people are coming to look and being too shy to write.
Don't overthink it! Just add your name and put some info we should know. You can always edit later.
John Baez (Apr 07 2021 at 22:35):I added some stuff. I don't know what I'm offering or seeking. (I'm seeking more time to sit around and think....)
Joshua Meyers (Apr 07 2021 at 22:47):Thanks for adding your info! BTW, you're totally free to structure your entry however you want and say whatever you want, don't feel bound by "offering" and "seeking"
Timothy Porter (Apr 08 2021 at 06:21):It would help if there was a bit more advice as to how to add en entry.
Chad Nester (Apr 08 2021 at 08:24):I copied/pasted the one above and changed the letters. This doesn't seem to break the bookmark thingy.
Joshua Meyers (Apr 08 2021 at 12:59):Timothy Porter said:
It would help if there was a bit more advice as to how to add en entry.
Sure, what would you like to know?
Nick Hu (Apr 08 2021 at 13:12):This seems like a nice idea, but is a big Google Doc really an appropriate substitute for some kind of database?
Morgan Rogers (he/him) (Apr 08 2021 at 14:19):This is the informal version; it will be converted into a database eventually :joy:
Joshua Meyers (Apr 08 2021 at 14:45):Nick Hu said:
This seems like a nice idea, but is a big Google Doc really an appropriate substitute for some kind of database?
Yeah that's the idea, but we want to do it this way first so we can see how people actually like to use it, so we can build functionality into the database that people care about and not functionality that people don't care about. See the Sketch of Vision
John Baez (Apr 08 2021 at 15:20):Hi @Timothy Porter! I cut-and-pasted someone else's entry and then changed all the details.
Timothy Porter (Apr 08 2021 at 16:21):It was the obvious thing to do, but it did not occur to me! :frown:
Tim
Christian Williams (Apr 08 2021 at 16:27):glad more people are starting to add! yes, we know a google doc is an informal way to start this. we are envisioning a larger project and we're happy to discuss it with anyone.
Christian Williams (Apr 08 2021 at 16:27):also, please keep entries alphabetical by last name.
Christian Williams (Apr 08 2021 at 19:07):whenever I open the sidebar and click on someone's bookmark, the sidebar goes halfway back out and I can't use it or close/open it any more. is anyone else having this glitch?
সায়ন্তন রায় (Apr 08 2021 at 19:20):How do you have that ribbon like sign at the right side of your name in the doc?
সায়ন্তন রায় (Apr 08 2021 at 19:22):Nevermind. Got it.
Valeria de Paiva (Apr 10 2021 at 14:44):Christian Williams said:
also, please keep entries alphabetical by last name.
hi @Christian, some of us have unwieldy names: in Portuguese I'd put myself under P, but in English, I sometimes go under D. Do you have preferences? (it sometimes breaks things to have a space like "de Paiva".)
Christian Williams (Apr 10 2021 at 17:34):oh, whichever you would do naturally is good!
Joshua Meyers (Apr 14 2021 at 13:02):Great to see that so many people have added their information to the directory! I'm curious about two things: