Statements (52)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:canBe |
infinite
finite unbounded bounded |
| gptkbp:category |
category of chain complexes
|
| gptkbp:component |
gptkb:C_n
d_n |
| gptkbp:consistsOf |
sequence of abelian groups
sequence of modules |
| gptkbp:dualObject |
cochain complex
|
| gptkbp:field |
gptkb:topology
homological algebra |
| gptkbp:generalizes |
gptkb:exact_sequence
|
| gptkbp:hasApplication |
gptkb:algebraic_K-theory
gptkb:category_theory gptkb:de_Rham_cohomology group cohomology sheaf cohomology simplicial homology spectral sequences singular homology derived functors |
| gptkbp:hasGrading |
integer grading
|
| gptkbp:hasInvariant |
homology group
|
| gptkbp:homotopy |
chain homotopy
|
| gptkbp:morphism |
chain map
|
| gptkbp:notation |
(C_n, d_n)
|
| gptkbp:originatedIn |
algebraic structures
categories modules vector spaces differential forms rings simplicial complexes topological spaces functors algebras group actions sheaves cellular complexes |
| gptkbp:property |
composition of consecutive boundary maps is zero
|
| gptkbp:relatedTo |
differential graded algebra
cochain complex |
| gptkbp:structure |
boundary maps
|
| gptkbp:usedIn |
definition of cohomology
definition of homology |
| gptkbp:bfsParent |
gptkb:Simplicial_Complexes
gptkb:Long_exact_sequence gptkb:Cohomology_group |
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Chain complex
|