The fixed point and its consequences
Six studies in self-reference, and the single theorem beneath them. A formal system rich enough to name itself gains a fixed point — and that one object is the engine of everything it can compute and the source of everything it cannot complete. These pages follow that fixed point from its categorical root, through the territory it rules, to the power it generates and the two limits it imposes. This is the front door, the contents, and — because the collection's only currency is rigor — an honest map of which of its claims are theorems and which are the author's framings.
the program · the six volumes · the honest lattice · reader's paths
What happens when a system can refer to itself? The answer is a single fixed point that wears two faces.
Quodlibet — in the medieval schools, a disputation on any question put to the master; in music, a piece that weaves independent melodies into a single fabric. This collection is meant as both. Its question is the oldest one logic asks about itself: what happens when a system becomes rich enough to refer to itself? Its answer, pursued through six studies, is a single fixed point that wears two faces.
The volumes are not six subjects. They are one theorem — F. William Lawvere's, 1969 — followed wherever it leads. Forwards, it is the engine of computation: the program that reads its own source, the definition that calls itself, recursion itself. Backwards, it is the wall every formal system meets: incompleteness, undecidability, the model that cannot be pinned down. Power and limit are not opposites here; they are the same fixed point, and the sign of a single twist is all that decides which you get.
The wager of the collection is that this one structural fact — austere, categorical, provable in five lines — is the deepest thing that can be said at once about the reach and the boundary of formal reasoning. The six volumes establish it, chart it, drive it forwards into power, press it to its two limits, and finally prove the theorem they all stand on. What follows is the way in.
In reading order. Each stands alone; each is a face of the rest.
Every load-bearing claim the collection makes, stratified by what it actually is — theorem, reduction, framing, or analogy. The base is earned; the upper layers are labeled, not hidden.
A collection whose only currency is rigor owes the reader one thing beyond its arguments: an honest account of their status. Not every claim here is a theorem. Some are classical results, proved long ago and merely re-lit. Some are genuine reductions — one result shown to be literally another. And some are the author's framings: readings that organize the theorems but are not themselves theorems. The lattice sorts all eighteen load-bearing claims into those strata; the apparatus, Scholia, makes the sorting formal, naming for each claim the exact bridge-assumptions it rests on. Read it from the ground up: a bedrock of theorems, the reductions resting on them, the framings built above, and at the very top the analogies — real, loose, and flagged. Nothing crosses the line between what is proven and what is proposed without being marked.
Read the strata honestly and the collection's real claim comes into focus. Its unification is a theorem where it reduces — Cantor, Gödel, Turing, and the Y-combinator genuinely are one construction, shown line by line — and an interpretation where it reads, in the framings that gather the whole into power, limit, and one purchase. The line between the two is drawn here in full view. That line, and the discipline of holding it, is what the collection means by rigor.
The collection rewards sequence, but does not require it.
The theorem, its proof, and the one duality it implies — nothing more. Two volumes, an hour, the whole core.
The construction, then its territory, then the two limits it imposes, then the keystone that binds them.
If you suspect the unification is a loose analogy: the explicit reductions, the five-line proof, and the lattice that keeps theorem apart from framing.
One question — what happens when a system can name itself — and one answer, a fixed point, followed to its root and its two horizons. The diagonal builds it, the atlas charts it, the ascent climbs from it, the descent falls toward it, and the mirror proves it. Five melodies, one fabric; five disputations, one question. Power and limit — a single purchase.