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