Modules, exact sequences and homology; abelian categories; derived functors