Что образуют абелевы категории?

В этом обзоре мы, предполагая заданными две конечно представимые абелевы категории $A$ и $B$, даем набросок конструкции абелевой категории функторов из $A$ в $B$, которая имеет хорошие 2-категорные свойства и дает явную модель для стабильной категории стабильных функторов между производными категориями $A$ и $B$. Конструкция абсолютная, т.е. позволяет восстановить не только когомологии Хохшильда, но и когомологии Маклейна.
Библиография: 29 названий.