General Algebras

# 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