Homology as a Functor

Algebraic Topology · Axiom Academy

From topology to algebra, preserving structure A continuous map f: X → Y between spaces induces a homomorphism f_*: H_n(X) → H_n(Y) between homology groups. The map f_* is well-defined on homology classes because f commutes with the boundary operator: ∂(f ∘ σ) = f ∘ (∂σ). This means cycles map to cycles and boundaries map to boundaries. Homology preserves the structure of the category of topological spaces. It respects identities and compositions. Identity: (id_X)_* = id_ H_n(X) Composition: (g ∘ f)_* = g_* ∘ f_* These properties mean homology is a covariant functor from the category of topological spaces to the category of abelian groups. 3. The Big Picture: Category Theory Homology transforms topological problems into algebraic problems while preserving relationships between spaces. This is why homology is so powerful: it systematically converts topological questions into algebraic ones, where we have powerful computational tools at our disposal.

This is the written version of the interactive lesson above. See the full Algebraic Topology course.