Differential complex
Definition
Given data
Let be a differential manifold and s be smooth vector bundles over . For a vector bundle , let dneote the shead of smooth sections of .
Definition part
A differential complex is a sequence of maps such that .