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:
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Transformers, Handlers in Disguise (SkillsCast recorded in October 2015)
- Advanced Scala with Dick Wall (in London on 9th - 11th December 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
Dr Nicolas Wu is a Senior Lecturer at the Department of Computing, Imperial College London. He holds a DPhil from the University of Oxford, where he also studied as an undergraduate at Brasenose College. His research interests are centred around programming languages, where he has made advances in applications of category theory for giving the semantics of programs and algorithms. In particular, his recent work has been focused on showing the connections between domain specific languages, algebraic effect handlers, and structured recursion schemes.
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:
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Transformers, Handlers in Disguise (SkillsCast recorded in October 2015)
- Advanced Scala with Dick Wall (in London on 9th - 11th December 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
Dr Nicolas Wu is a Senior Lecturer at the Department of Computing, Imperial College London. He holds a DPhil from the University of Oxford, where he also studied as an undergraduate at Brasenose College. His research interests are centred around programming languages, where he has made advances in applications of category theory for giving the semantics of programs and algorithms. In particular, his recent work has been focused on showing the connections between domain specific languages, algebraic effect handlers, and structured recursion schemes.