Paefxlj8dh0wuxwovpdy
SkillsCast

Categories and String Diagrams

6th October 2016 in London at CodeNode

There are 30 other SkillsCasts available from Haskell eXchange 2016

Please log in to watch this conference skillscast.

595900004 640x360

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

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.

SkillsCast

Please log in to watch this conference skillscast.

595900004 640x360

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

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.

Photos