Universal property of free algebra F_T(X): every map X -> A factors uniquely through F_T(X) -> A; left-adjoint to forgetful functor; categorical foundation of syntax.
Universal property of free algebra F_T(X): every map X -> A factors uniquely through F_T(X) -> A; left-adjoint to forgetful functor; categorical foundation of syntax.