同伦上边缘运算

homotopy coboundary operation