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

Abstract

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