Гугнин Д.В. - Теория гомологий - 11. Теория категорий, функтор Hom