Topology

Algebraic Topology

This guide helps you get your bearings in Algebraic Topology before you start exploring the interactive timeline, framework graph, and concept maps.

Before You Dive In

Algebraic topology translates geometric problems into algebraic ones — it assigns algebraic invariants (groups, rings) to topological spaces to tell them apart.
The key insight is that continuous deformations preserve algebraic invariants, so if two spaces have different invariants, no continuous map can transform one into the other.
Start with the fundamental group — it captures the structure of loops in a space and is the most intuitive algebraic invariant.
Homology and cohomology are more powerful but less intuitive than the fundamental group; they detect "holes" in all dimensions systematically.
The subject has deep connections to differential geometry, algebraic geometry, and theoretical physics (gauge theory, string theory).

Fundamental groupThe group of loops in a space based at a point, up to continuous deformation; detects one-dimensional holes.

HomologyA sequence of abelian groups measuring holes in each dimension: connected components (H_0), loops (H_1), voids (H_2), and higher.

CohomologyThe algebraic dual of homology; carries a natural ring structure (cup product) that provides finer invariants.

Homotopy equivalenceTwo spaces are homotopy equivalent if one can be continuously deformed into the other; a weaker relation than homeomorphism.

Euler characteristicA topological invariant (vertices minus edges plus faces, generalized) that can be computed from homology.

Covering spaceA space that maps onto another by "unwinding" its loops; classified by subgroups of the fundamental group.

Thinking algebraic topology only studies "rubber-sheet geometry" — it produces precise algebraic computations, not just qualitative descriptions.

Confusing homology and homotopy groups — they measure related but different things, and homotopy groups are much harder to compute.

Assuming you need point-set topology mastery before starting — basic familiarity with open sets, continuity, and compactness is sufficient.

Open the interactive view and scan the framework timeline. Which frameworks came first? Which ones overlap? Where are the big transitions?

Click into individual frameworks to read what each one claims, where it came from, and how it relates to its neighbors.

See how the key ideas within a framework connect. This is useful for figuring out what to learn first and what depends on what.

Take the quiz for any framework you've read about. It's a quick way to find out whether you actually understood the core ideas or just skimmed them.