The Origins of Free - Adam Warski Lambda Days 2017

Starting from the definition of what we mean by algebra well try to see why the Free Monad is Free why this name makes sense what it means in the mathematical world and how to construct one.
But dont be scared! Some programming background will be more than enough to understand the talk no special maths training is required. If you are following the evolution of FP free monads are popping up more and more frequently not only in blogs but also in everyday programming.
Hence it might be useful to see what are the origins of free it appears in universal algebra and category theory and thats where well be looking! Well take several steps.
Starting from algebras well construct a free algebra over a signature and a set of equations.
Then well be quite close to generalising this to a free object over any functor and category.
Finally well be able to reach our goal: the free monad.

Источник: rutube.ru