> This submission is the latest in a trend of what I would classify as "math-lite" category theory and Haskell articles that reach the HN front page, That's pr

> This submission is the latest in a trend of what I would classify as "math-lite" category theory and Haskell articles that reach the HN front page, That's pretty arrogant and rude. This is some mathematicians' PhDs and research, not a blog put in front of overpaid programmers to provide them with category-theory porn. Admittedly, the dumbed down language of the blog is misleading and makes it very hard to read. https://dl.acm.org/doi/pdf/10.1145/3290338 https://dl.acm.org/doi/pdf/10.1145/3290338 https://www.sciencedirect.com/science/article/pii/S0890540116000390?via%3Dihub https://www.sciencedirect.com/science/article/pii/S089054011... Fabio Zanasi. 2015. Interacting Hopf Algebras: the theory of linear systems. Ph.D. Dissertation. Ecole Normale Supérieure de Lyon