Algebraic Topology

Algebraic topology is the branch of mathematics that translates topological questions into algebraic ones — studying spaces by associating algebraic invariants (groups, rings, homologies) that capture their connectivity, holes, and higher-dimensional structure.

The founding insight, due to Poincaré, was that the holes in a space could be counted and classified algebraically. The fundamental group captures one-dimensional loops; homology groups capture higher-dimensional voids. These invariants are functorial: continuous maps between spaces induce homomorphisms between their algebraic invariants, making algebraic topology a chapter of category theory.

The field gave birth to category theory itself — Eilenberg and Mac Lane invented categories to formalize the notion of 'natural' equivalence in algebraic topology. It also provides the geometric intuition behind homotopy type theory, where types are spaces and equality is the path space.

The persistent mystery: why do algebraic invariants capture so much of what matters about spaces, while missing so much of what distinguishes them? The gap between algebraic classification and geometric intuition remains one of the field's deepest open questions.