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 10 2020 at 12:23):I know that the questions in this stream haven't been universally entry level, but is #learning: basic questions really the place to be asking this, @Nathaniel Virgo ?
Nathaniel Virgo (Apr 10 2020 at 12:24):I was really unsure where to put it. Maybe it's better in general? I'll delete it and move it somewhere else.
Nathaniel Virgo (Apr 10 2020 at 12:27):(Sorry, I was going back and forth trying to work out where to put it. Topos theory might be appropriate but I know so little about that field that I'm not sure. It's not exactly 'category theory' or 'applied category theory', so maybe 'general'? But that's the stream everyone is subscribed to, so I didn't want to impose myself. 'Philosophy', maybe?)
Nathanael Arkor (Apr 10 2020 at 12:30):#general is supposed to be for topics relevant to everyone
Nathanael Arkor (Apr 10 2020 at 12:30):maybe we need new streams for logic or probability though?
Nathaniel Virgo (Apr 10 2020 at 12:31):Ah, I posted in #general already. Should I delete there too?
Nathanael Arkor (Apr 10 2020 at 12:32):I've made a new stream #theory: logic: let's post it there
Nathaniel Virgo (Apr 10 2020 at 12:37):Ok, I deleted from general and posted it there.
user 170039 (Apr 14 2020 at 12:02):How do I delete this topic @James Wood?
Fabrizio Genovese (Apr 14 2020 at 12:03):I am not sure you can, but empty topics are basically hidden so it's not a big deal.
Fabrizio Genovese (Apr 14 2020 at 12:04):Another thing you can do is renaming this topic to another topic.
user 170039 (Apr 14 2020 at 12:06):Maybe if we all delete our messages, then it's possible.
James Wood (Apr 14 2020 at 12:06):I don't see why you want to be deleting stuff. It's all potentially useful information.
user 170039 (Apr 14 2020 at 12:10):Ok. So let it be.