Paul Lessard on Categorical Deep Learning

Mostly cited in passing, e.g. regarding claims that transformers cannot do recursion and as an example of structured deep learning work.

Machine Learning Street Talk interviews Paul Lessard about Categorical Deep Learning, which uses category theory and monads to make neural network architectures more interpretable and composable. They also discuss neural networks' limits in reasoning and unbounded computation.