キャップ積
キャップ積のバウンダリは次で与えられる:
∂ ( σ ⌢ ψ ) = ( − 1 ) q ( ∂ σ ⌢ ψ − σ ⌢ δ ψ ) . {\displaystyle \partial (\sigma \frown \psi )=(-1)^{q}(\partial \sigma \frown \psi -\sigma \frown \delta \psi ).}
写像 f が与えられると誘導された写像は次を満たす:
f ∗ ( σ ) ⌢ ψ = f ∗ ( σ ⌢ f ∗ ( ψ ) ) . {\displaystyle f_{*}(\sigma )\frown \psi =f_{*}(\sigma \frown f^{*}(\psi )).}
キャップ積とカップ積は次で関係づけられる: