Обогащённые естественные преобразования

Я определяю обогащенные естественные преобразования и показываю, что обогащенное преобразование между двумя Ab-функторами может быть интерпретировано как гомоморфизм R-модулей.