1 Table of Contents: ... -- 2.3 Categories -- 2.4 Variety characterization, quasi-variety characterization -- 2.5 Free algebras...