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.
Morgan Rogers (he/him) (Apr 19 2023 at 14:34):In light of the regular discussions on the subject of terminology and notation here, I propose the acronyms FWOBN (For Want Of Better Notation) and FWOBT (For Want Of Better Terminology) for your collective consideration. If you don't like the second one it becomes self-referential.
Ralph Sarkis (Apr 19 2023 at 14:36):There is a stream already no? #general: terminology & notation
Notification Bot (Apr 19 2023 at 14:37):This topic was moved here from #general: off-topic > acronyms by Morgan Rogers (he/him).