Гомологическая алгебра, Монченко Никита, 13 семинар, 03 05 2023