0.1 Progressive abstraction as creative reconstruction

Abstraction is sometimes described as deleting detail. In mathematics it is often a constructive act: identify what is invariant, assign it a new type, and define operations that make the invariant reusable. A coordinate system, a group, a vector space, a manifold, and a category all forget some features while making other relations explicit.

Consider a circle and a line. A synthetic treatment reasons through incidence, congruence, construction, and previously proved propositions. After choosing coordinates, the same configuration can be represented by

Intersection becomes substitution and elimination. Parameters \(m,b,r\) can be varied systematically. Degeneracies can be detected algebraically. The coordinate interface changes the available operations without making the original geometric meaning irrelevant.

Three lessons recur throughout this book.

1. A representation is productive when it preserves the relations that matter while enabling new constructions.

2. A translation between domains is not merely a relabeling; it must state how composition is transported.

3. A new language creates new blind spots as well as new powers. Coordinate formulas may hide invariance under a change of coordinates, motivating a later coordinate-free reconstruction.

The history is therefore not a simple ladder from concrete to abstract. It is an alternation of representation, exploration, obstruction, and reconstruction. Category theory is useful because it describes these translations and invariants without requiring every theory to use the same underlying objects.