Polynomial Functors: Jackpot by André Muricy

June 22, 2023


The category of polynomial functors and (dependent) lenses has tons of expressive power, and can be used to model various applications whose connection may not be obvious. André Muricy presents polynomial functors and their relevance in applied category theory, starting with their representation in Haskell, then describing the usefulness of dependent types for fully expressing them, and ending with application examples.

Polynomial Functors
A Mathematical Theory of Interaction: https://topos.site/poly-book.pdf
Polynomial Functors course (based on the book): https://www.youtube.com/playlist?list=PLhgq-BqyZ7i6IjU82EDzCqgERKjjIPlmh

Talks linked
Scientific and software engineering examples of applied category theory https://www.youtube.com/watch?v=z6N-eP7wSeE
How applied category theory puts thinking on rails https://www.youtube.com/watch?v=bJRCg9U7VgE

Some extra links
Topos blog with tag polynomial functors: https://topos.site/tags/polynomial-functors/
Categorical systems theory book http://davidjaz.com/Papers/DynamicalBook.pdf

André Muricy
https://www.linkedin.com/in/amuricys/

Check out more from the MeetUp Func Prog Sweden. Func Prog Sweden is the community for anyone interested in functional programming. At the MeetUps the community explore different functional languages like Erlang, Elixir, Haskell, Scala, Clojure, OCaml, F# and more.