I saw this article yesterday. I was similarly surprised about the history. I was a bit less surprised about the theory, as I did already know about the costate

I saw this article yesterday. I was similarly surprised about the history. I was a bit less surprised about the theory, as I did already know about the costate comonad interpretation, and once you get to that level of abstraction an idea tends to show up in multiple contexts. I was surprised by the breadth of the known instances of the idea, though.