Polynomial Functors: A Mathematical Theory of Interaction [pdf]
Polynomial Functors: A Mathematical Theory of Interaction [pdf]
topos.site /poly-book.pdf
There is a discussion on Hacker News, but feel free to comment here as well.
0 comments