Rich in examples and intuitive discussions, this book presents General Algebra using the unifying viewpoint of categories and functors. Starting with a survey, in non-category-theoretic terms, of many familiar and not-so-familiar constructions in algebra (plus two from topology for perspective), the reader is guided to an understanding and appreciation of the general concepts and tools unifying these constructions. Topics include: set theory, lattices, category theory, the formulation of universal constructions in category-theoretic terms, varieties of algebras, and adjunctions. A large number of exercises, from the routine to the challenging, interspersed through the text, develop the reader's grasp of the material, exhibit applications of the general theory to diverse areas of algebra, and in some cases point to outstanding open questions. Graduate students and researchers wishing to gain fluency in important mathematical constructions will welcome this carefully motivated book. "The aim of this book is to survey the basic notions and results of general algebra; also, it is a detailed and self-contained introduction to general algebra from the point of view of categories and functors. ... The author takes care in writing full proofs throughout the book and he shows also ways of possible applications. The text contains a wealth material and should serve as a textbook for readers interested in this field." (Danica Jakubikova-Studenovska, zbMATH 1317.08001, 2015)
An Invitation to General Algebra and Universal Constructions
1 About the course, and these notes.- Part I: Motivation and Examples.- 2 Making Some Things Precise.- 3 Free Groups.- 4 A Cook's Tour.- Part II: Basic Tools and Concepts.- 5 Ordered Sets, Induction, and the Axiom of Choice.- 6 Lattices, Closure Operators, and Galois Connections.- 7 Categories and Functors.- 8 Universal Constructions.- 9 Varieties of Algebras.- Part III: More on Adjunctions.- 10 Algebras, Coalgebras, and Adjunctions.- References.- List of Exercises.- Symbol Index.- Word and Phrase Index.