Each relation below starts at this concept.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
j_ringed_space__sheaf_of_rings- Relation type
- Combine compatible structures
combine-compatible - Direction
- source → target
- Endpoint roles
- source: Builds toward; target: Built from
- Authored annotation
- structure sheaf
Authored explanation
Supply the Sheaf of rings structure as one jointly required input.
How to interpret this relation type
Feed several structures into a construction junction and impose compatibility between them.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
story_sheaf_of_rings_to_sheaf_stalk_canonical_construction- Relation type
- Canonical construction
canonical-construction - Direction
- source → target
- Endpoint roles
- source: Canonically constructs; target: Canonically constructed from
- Authored annotation
- take the ring of germs at a point
Authored explanation
At each chosen point, the stalk of a sheaf of rings is canonically a ring obtained from germs of local sections.
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.