I hope I don’t need to make a persuasive case for this, but I will if requested.
Let’s get math notation like math.stackexchange has. Immediately.
(It is like drawing a picture with a cast on, trying to answer this category theory question without mathematical notation (and ideally also native support for diagrams, although I myself do consider that asking too much, for now.))