Each relation below ends at this concept.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
story_cohomology_ring_to_graded_object_induced_forgotten- Relation type
- Induced / forgotten
induced-forgotten - Direction
- source → target
- Endpoint roles
- source: Yields by induction / forgetting; target: Obtained by induction / forgetting from
- Authored annotation
- has an underlying graded object
Authored explanation
The cup product equips the direct sum of cohomology groups with a graded ring structure; forgetting multiplication leaves a graded object.
How to interpret this relation type
Pass canonically from a stronger object to structure it determines, or forget part of the data while retaining a valid weaker structure. The carrier may change under a canonical induced construction.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
e_family_graded- Relation type
- Add data
add-data - Direction
- source → target
- Endpoint roles
- source: Builds toward; target: Built from
- Authored annotation
- equip the index set with degree indexing
Authored explanation
Identify or replace the index set by a degree set, usually Z or N.
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.