The basic notions and facts of category theory are presented, namely category and subcategory, covariant and contravariant functors, full and faithful, hom-functors, natural transfomations and the functor categories, Yoneda lemma; limits and colimits of diagrams, Maranda's and Mitchel's theorems; adjoint functors, free functors, reflective and coreflective subcategories, closed and Cartesian closed categories, contravariant adjoints and dualities; comma-categories; Adjoint Functor
Theorem and Special Adjoint Functor Theorem; extremal and regular monomorphisms (epimorphisms), factorization systems.
For all the above, many examples and some applications are given.
Introductory course on category theory.