Free-algebra functors from a coalgebraic perspective

H. Peter Gumm

Given a set $\Sigma$ of equations, the free-algebra functor $F_{\Sigma }$ associates to each set $X$ of variables the free algebra $F_{\Sigma }(X)$ over $X$. Extending the notion of \emph{derivative} $…