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