Readers familiar with the very basic notions of category theory will learn about the main tools that are used in modern categorical mathematics but are not readily available in the literature. Likewise, 'algebras' are treated both as models for Lawvere's algebraic theories and as Eilenberg-Moore algebras for monads, but they appear also as the objects of an abstract category with various levels of 'exactness' conditions.