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.
Jacques Carette (Jun 04 2020 at 15:07):Where is a good place to ask non-trivial questions about basic category theory? I had been asking them under 'basic', but I'm aware that that might be sub-optimal. Is there some kind of consensus of what I should be asking such questions? [I have quite a few more, that I'll be asking over the coming weeks.]
Most of my questions come from examining basic CT definitions from a constructive, type-theoretic point of view, although I think the answers ought to apply much more widely than that.
Nathanael Arkor (Jun 04 2020 at 15:12):The #learning: basic questions stream has been renamed to #learning: questions — it's meant to be an appropriate venue for any sort of general question.
Morgan Rogers (he/him) (Jun 04 2020 at 15:19):I second what @Nathanael Arkor says. In principle, we moderators can move a topic to another stream if it genuinely feels out of place. Ask away! Everyone here is friendly enough that they'll answer your questions if they can :grinning_face_with_smiling_eyes:
Jacques Carette (Jun 04 2020 at 15:20):#learning seems to be a mismatch with my intent. I often understand the area of CT that I'm asking a question about, the question often is one of 'foundations', in that some definitions seem to embed some classical principles (sneakily).
Jacques Carette (Jun 04 2020 at 15:21):Up to now, my questions have indeed gotten interesting answers, so I do feel welcome to ask more. Beginners might feel quite put-off by these questions though, which is why I'm somewhat reluctant to put them under a #learning tag.
Kenji Maillard (Jun 04 2020 at 15:47):then wouldn't these question fit better to the #theory: category theory stream ?
John Baez (Jun 04 2020 at 16:32):Yes, I think that stream is the official one for "research-level questions".