УПРАЖНЕНИЯ
Взять любую книгу по гомологической алгебре и доказать все теоремы, не заглядывая в доказательства, данные в книге.
Гомологическая алгебра была изобретена Эйленбергом — Маклейном. Общая теория категорий (т. е. теория стрелок) общеизвестна под названием абстрактной чепухи (термин принадлежит Стинроду).