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:
- Transformers, Handlers in Disguise (SkillsCast recorded in October 2015)
- Advanced Scala with Dick Wall (in London on 9th - 11th December 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Option(al) Is Not A Failure (SkillsCast recorded in March 2019)
- Keynote: The Monad Lurking Under Your Bed At Night (SkillsCast recorded in March 2019)
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.
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:
- Transformers, Handlers in Disguise (SkillsCast recorded in October 2015)
- Advanced Scala with Dick Wall (in London on 9th - 11th December 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Option(al) Is Not A Failure (SkillsCast recorded in March 2019)
- Keynote: The Monad Lurking Under Your Bed At Night (SkillsCast recorded in March 2019)
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.