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.
Notification Bot (Jan 04 2022 at 05:33):Stream created by Joshua Meyers.
Matteo Capucci (he/him) (Jan 04 2022 at 07:31):Is this purposefully distinct from #learning: what's that structure?
John Baez (Jan 04 2022 at 07:35):It seems like Joshua (accidentally?) created both. We should probably get rid of one.
Joshua Meyers (Jan 04 2022 at 15:54):Yes I did. I created "what's that structure" and then couldn't find it so I thought I wasn't successful. Can someone please delete it?
Nathanael Arkor (Jan 04 2022 at 17:27):I've deleted the other stream.
Joshua Meyers (Jan 04 2022 at 18:49):Thanks!
Daniel Teixeira (Jan 04 2022 at 21:48):what is this stream?
John Baez (Jan 04 2022 at 22:04):This stream is where people can ask other people
"Please identify my structure".
I would not have chosen this title, and apparently Joshua didn't either at first.
Joshua Meyers (Jan 04 2022 at 22:35):I can change the title! Do you have a better idea
Notification Bot (Oct 21 2023 at 14:32):Nathanael Arkor changed the access permissions for this stream from Public to Web-public.
Notification Bot (Oct 31 2023 at 11:06):Matteo Capucci (he/him) changed the description for this stream.
Identification of categorical structures that may arise in your work
Deprecated, use #learning: questions instead. Identification of categorical structures that may arise in your work
Notification Bot (Oct 31 2023 at 11:06):Matteo Capucci (he/him) renamed stream learning: id my structure to deprecated: id my structure.