left homotopy

Мат. левая гомотопия