Categories and String Diagrams
Please log in to watch this conference skillscast.
This talk introduces string diagrams as a notation for calculating in category theory. You will learn the diagrams to better understand monads, adjunctions, and finally free monads. All of this, of course, is relevant to the curious Haskell programmer who wants to better understand abstract nonsense.
YOU MAY ALSO LIKE:
Thanks to our sponsors
Categories and String Diagrams
Nicolas Wu
Nick has been using Haskell since 2001 while he was an undergraduate at the University of Oxford, where he also obtained his doctorate in Computer Science. He then went to work as a Haskell consultant at Well-Typed LLP before returning to academia. As a postdoctoral researcher he worked principally on unifying the foundations of recursion schemes using category theory. He is currently a lecturer at the University of Bristol, and continues to work on recursion schemes, as well as effect handlers and domain specific languages.
-
SkillsCast
Please log in to watch this conference skillscast.
This talk introduces string diagrams as a notation for calculating in category theory. You will learn the diagrams to better understand monads, adjunctions, and finally free monads. All of this, of course, is relevant to the curious Haskell programmer who wants to better understand abstract nonsense.
YOU MAY ALSO LIKE:
Thanks to our sponsors
-
About the Speaker
Categories and String Diagrams
Nicolas Wu
Nick has been using Haskell since 2001 while he was an undergraduate at the University of Oxford, where he also obtained his doctorate in Computer Science. He then went to work as a Haskell consultant at Well-Typed LLP before returning to academia. As a postdoctoral researcher he worked principally on unifying the foundations of recursion schemes using category theory. He is currently a lecturer at the University of Bristol, and continues to work on recursion schemes, as well as effect handlers and domain specific languages.