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