Redirecting to https://eliasjudin.github.io/blog/free-algebras-by-means-of-a-universal-property/.