Statements (14)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:appliesTo |
abelian categories
modules over a ring |
gptkbp:concerns |
exact sequences
projective resolutions |
gptkbp:field |
homological algebra
|
https://www.w3.org/2000/01/rdf-schema#label |
Horseshoe lemma
|
gptkbp:relatedTo |
gptkb:five_lemma
gptkb:snake_lemma |
gptkbp:statedIn |
gptkb:Cartan–Eilenberg_Homological_Algebra
|
gptkbp:usedFor |
constructing projective resolutions of modules
|
gptkbp:usedIn |
homological algebra
|
gptkbp:bfsParent |
gptkb:Eilenberg_swindle
|
gptkbp:bfsLayer |
7
|