ěyvind Bolme Fredriksen
NWPT, pages 173-187
We study categories of algebras (for a given signature)
constructed from arbitrary categories with specific finite products. We
show how a left adjoint may be utilized to
construct an initial algebra satisfying a given set of equations. Finally, we
give a condition under which satisfaction of equations is independent of the
set of variables considered.
University of Bergen, Department of Informatics,
H°yteknologisenteret, N-5020 BERGEN, NORWAY.
Available as PostScript,
BRICS WWW home page