Category theory has virally spread from Haskell to Scala, PureScript, and other languages because fundamentally, it's a *language of composition*. It lets us talk about the way functional programs compose from smaller pieces.
I would go the other way: yˣ should be written x→y with a # sign stacked onto the arrow.
-
-
I have no idea what you are talking about. What is that arrow meant to mean? Which meaning of superscription are you implying? Why can't we have descriptive operator names and a uniform application syntax in maths?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!