An Invitation to General Algebra and Universal Constructions
From the contents: Free groups; A Cook's tour of other universal constructions; Ordered sets, induction, and the Axiom of Choice; Lattices, closure operators, and Galois connections; Categories and functors; Universal constructions in category-theoretic terms; Varieties of algebras; Algebra and coalgebra objects in categories, and functors having adjoints
