cochainComplex

P147765 predicate

Indicates that one mathematical object is a cochain complex, i.e., a sequence of abelian groups or modules connected by homomorphisms whose composition of consecutive maps is zero.

Observed surface forms (1)

Sample triples (2)

Subject Object
Alexander–Spanier cohomology Alexander–Spanier cochain complex via predicate surface "cochainComplexType"
de Rham cohomology (Ω^*(M), d)