  We discuss the homological algebra of representation theory of finite
dimensional algebras and finite groups. We present various methods for the
construction and the study of equivalences of derived categories: local group
theory, geometry and categorifications.
