General Algebras

Øyvind Bolme Fredriksen

In 6th NWPT, pages 173-187

Abstract:

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.

Comments
University of Bergen, Department of Informatics, Høyteknologisenteret, N-5020 BERGEN, NORWAY.

Available as PostScript, DVI.

BRICS WWW home page