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