Each relation below starts at this concept.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
story_singular_chain_complex_to_homology_group_quotient_construction- Relation type
- Quotient construction
quotient-construction - Direction
- source β target
- Endpoint roles
- source: Quotients to; target: Obtained as quotient of
- Authored annotation
- cycles modulo boundaries
Authored explanation
In degree n, representatives are cycles zβZnβ=kerβnβ; identify zβΌzβ² exactly when zβzβ²βBnβ=imβn+1β. The quotient is Hnβ=Znβ/Bnβ.
How to interpret this relation type
Identify elements by a stated equivalence relation and equip the quotient with the induced structure. The edge detail must state the representatives and equivalence relation.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
story_singular_chain_complex_to_singular_cochain_complex_canonical_construction- Relation type
- Canonical construction
canonical-construction - Direction
- source β target
- Endpoint roles
- source: Canonically constructs; target: Canonically constructed from
- Authored annotation
- dualize with coefficients
Authored explanation
Applying Hom(β,A) produces singular cochains.
How to interpret this relation type
Apply a standard functorial or canonical construction whose output is not merely a reduct of the input and is not generally an equivalent presentation of the same object.