Each relation below starts at this concept.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
cochain_complex_to_dga- Relation type
- Add data
add-data - Direction
- source → target
- Endpoint roles
- source: Builds toward; target: Built from
- Authored annotation
- + graded associative multiplication
Authored explanation
For a cochain complex of modules in a compatible symmetric monoidal additive setting, add a degree-zero associative graded multiplication and require the graded Leibniz rule.
How to interpret this relation type
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
story_cochain_complex_to_singular_cochain_complex_classification- Relation type
- Classification
classification - Direction
- source → target
- Endpoint roles
- source: Has subtype; target: Classified as
- Authored annotation
- has singular cochains as a specialization
Authored explanation
The singular cochain complex with coefficients is a particular cochain complex obtained by applying Hom to singular chains.
How to interpret this relation type
The target is a member or subtype of the broader source class.