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