Applied Category Theory – The Emerging Science of Compositionality (2019)

I've kept wondering about this, and really wanting to give it a second look, to understand the different ways this talk has evidently struck different listeners. Now I have, and here are some further thoughts.

• Something I've been through a few times, and have observed others go through as well: I'll read a novel, or watch a movie, because someone highly recommended it, and it doesn't work at all for me because it keeps taking me in directions I don't expect and don't want to go. And afterward, thinking about it, I realize a major part of the trouble was that I went into it expecting a different type of story. Mistaken expectations can ruin what ought to be a fine piece of storytelling. I think some of that happened to me with this talk. I went into it knowing some category theory and thinking about it mathematically, and the talk is aimed at folks unfamiliar with the subject and provides an overview with too little time to get into technicalities. So a sketch that could be intriguing for some people was more frustrating for me.

• As an introduction to the subject, the earlier parts of it where I'm already familiar with the mathematics seemed pretty sound. If I knew how the later parts connected to the math I might think the same about those parts; only, I don't know quite how they connect to the math, and having been guided by my prior knowledge to think of the earlier parts in those terms, when I get to the later parts I want those connections that just aren't there.

• A point I saw go by in his conclusions was "Supports marvelous graphical languages". A written point only, I think. It resonated with an insight I've had in mind for some years now, about how category theory sits in relation to mathematics generally. Up until about five hundred years ago, mathematics was written out in words. Imagine solving, say, a set of quartic polynomials in Latin. Then from the 1500s forward mathematicans started to develop arithmetic notations, things like the infix "+" and "−", and "=". And mathematics suddenly accelerated, from nearly a dead stop, into overdrive. The notational revolution reached its height with Leonhard Euler in the eighteenth century, and its consequences played out through the nineteenth century. And then in the twentieth century it went kind of awry, because of abstract mathematics. The new stuff was too abstract for the simple elegant algebraic notation, so it had to be expressed in words. And things have gotten dreadfully messy because of that. But while category theory too suffers greatly from this problem with words, its saving grace is that it affords some lovely opportunities to express elegant mathematics in pictures.

• A rhetorical question (iirc) raised late in the talk: he said smart people tended to compositionality "even" without category theory, so how much more powerful would it be to explicitly apply category theory. That grated on me so, I just can't resist registering an objection. Explicit theory does not always improve things; somethings its effect is more to limit things. I'm not saying category theory doesn't come in handy, as a tool; just that I'm leery of his assumption there that formalizing an intuitive approach is necessarily an unmitigated improvement.

from Hacker News https://ift.tt/2KjbuND