Характерной чертой современной математики является изучение математических объектов, вместе с отображениями этих объектов друг в друга, согласованными со структурой объектов. Обычно объекты и их отображения образуют категорию. Именно поэтому теоретико-категорный язык с момента своего появления стал модным средством выражения результатов математических исследований, тем более, что само рождение теории категорий связано с бурным развитием идей и методов гомологической алгебры.
За последние годы за рубежом появилось несколько монографий, содержащих систематическое изложение основ теории категорий и некоторых ее достижений, относящихся, как правило, к абелевым категориям. Некоторые результаты, относящиеся к абелевым категориям, можно найти в книгах А. Гротендика [3], А. Картана и С. Эйленберга [4], С. Маклейна [10], переведённых на русский язык. В этих книгах категорией пользуются как вспомогательный аппарат для гомологической алгебры. Интересное и глубокое изложение теории абелевых категорий можно найти в книгах П. Фрейда [13], Б. Митчела [11] и П. Габриэля [2].
Характерной чертой современной математики является изучение математических объектов вместе с отображениями этих объектов друг в друга, согласованными со структурой объектов: теория множеств немыслима без отображений множеств, топология немыслима без непрерывных отображений, алгебра немыслима без гомоморфизмов алгебраических систем и т. д. Обычно объекты и их отображения образуют категорию.
Грубо говоря, это означает, что отображения можно иногда перемножать, причем это умножение ассоциативно. Абстрагируясь от структуры объектов, теория категорий изучает свойства совокупности отображений, снабжённой частичной операцией умножения. В последние годы все более вырисовывается объединяющая и унифицирующая роль теории категорий в математике. Поэтому, наряду с теорией множеств, она образует фундамент современного математического мышления и является самостоятельной областью математики.
