Гомологическая алгебра, Монченко Н., семинар 7, 19.10.2023