Graph centered on Singular cochain complex, showing the selected concept and its surrounding relations.Preparing the interactive atlas…

Keyboard graph navigation: press N for concepts or E for relations; use arrow keys, Home, and End to move; Enter selects; Shift plus Enter selects and centers; plus and minus zoom; zero fits; Escape clears the selection. Use the visible viewport buttons as alternatives to dragging, wheel, and pinch gestures.

Curated starting points

Stories & Views

Relationship-aware analysis

Compare concepts

Choose two concepts to compare or connect.
Reading the graph

Guide to the Atlas

Canonical static concept record

Singular cochain complex

Open this concept in the interactive graphRead the Markdown equivalent

Summary

The cochain complex obtained by applying a coefficient-valued Hom functor to singular chains.

Record metadata

Carrier(s)

Data

Axioms / constraints

Canonically induces

Concept sources

Incoming relations (arrows to this concept)

Each relation below ends at this concept.

Cochain complexSingular cochain complex

Permalink to relation

This is an authored directed relation from the source endpoint to the target endpoint.

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.

Relation sources

Singular chain complexSingular cochain complex

Permalink to relation

This is an authored directed relation from the source endpoint to the target endpoint.

Authored explanation

Applying Hom(,A)\operatorname{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.

Relation sources

Outgoing relations (arrows from this concept)

Each relation below starts at this concept.

Singular cochain complexCohomology group

Permalink to relation

This is an authored directed relation from the source endpoint to the target endpoint.

Authored explanation

In degree nn, representatives are cocycles αZn=kerδn\alpha\in Z^n=\ker\delta^n; identify αα\alpha\sim\alpha' exactly when ααBn=imδn1\alpha-\alpha'\in B^n=\operatorname{im}\delta^{n-1}. The quotient is Hn(X;A)=Zn/BnH^n(X;A)=Z^n/B^n.

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.

Relation sources