Category Theory
Zulip Server
Archive

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.

Stream: community: general

Topic: Quick questions?

David Egolf (Apr 04 2020 at 01:19):

Hi all,
Do we have a dedicated topic or stream for asking quick questions that are unlikely to have extended discussion? (I couldn't spot one). Or is the general idea that a new topic should be made each time for these?
Thanks.

Nathanael Arkor (Apr 04 2020 at 01:19):

topics are very lightweight, so you can just open up a new topic (just like this!) in the most relevant stream if you have a question!

David Egolf (Apr 04 2020 at 01:20):

Alright, sounds great!

Joe Moeller (Apr 04 2020 at 20:27):

There is the stream #basic questions which is essentially for this purpose. What the asker might think should end up being a tiny conversation might often become days-long, hundreds of messages...

John Baez (Apr 04 2020 at 20:28):

Yeah, let's use #basic questions. I hate it when someone says they're gonna ask me a "quick question" - I usually tell them "the question may be quick, but the answer isn't gonna be quick".

user 170039 (Apr 17 2020 at 13:33):

I was wondering whether there already exists a theory of digraphs in the same spirit as category theory. To be precise, let's define a digraph $\bf{D}$ as a pair $(\mathcal{O},\operatorname{Hom})$ where $\mathcal{O}$ is the set/class of nodes and $\operatorname{Hom}:\mathcal{O}\times\mathcal{O}\to\mathcal{O}$, an element of $\operatorname{Hom}(A,B)$ for any two $A,B\in \mathcal{O}$ being called an edge from $A$ to $B$.

Nathanael Arkor (Apr 17 2020 at 13:42):

@user 170039: the stream #learning: basic questions was created for these sorts of questions :)

user 170039 (Apr 17 2020 at 13:43):

Ok. I will post there.