In the past decade, category theory has widened its scope and now inter- acts with many areas of mathematics. This book develops some of the interactions between universal algebra and category theory as well as some of the resulting applications. We begin with an exposition of equationally defineable classes from the point of view of "algebraic theories," but without the use of category theory. This serves to motivate the general treatment of algebraic theories in a category, which is the central concern of the book. (No category theory is presumed; rather, an independent treatment is...
In the past decade, category theory has widened its scope and now inter- acts with many areas of mathematics. This book develops some of the interacti...