On the construction of free algebras for equational systems
The purpose of this paper is threefold: to present a general abstract, yet practical, notion of equational system; to investigate and develop the finitary and transfinite construction of free algebras for equational systems: and to illustrate the use of equational systems as needed in modern applications. (c) 2009 Elsevier B.V. All rights reserved.
algebra equational system free construction monad