Гомологическая алгебра и теория категорий, Ершов А.В., 30.11.20