Each relation below ends at this concept.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
story_exact_category_to_exact_sequence_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 distinguished exact sequences
Authored explanation
An exact category comes with a specified class of kernel–cokernel pairs, called conflations; retaining one such pair gives an exact sequence in the chosen exact structure.
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.