🌊 The Rising Sea

Bourbaki, Grothendieck & the Metabolic History of Mathematical Structure

In 1935, a secret society of French mathematicians set out to rewrite all of mathematics from the ground up. They published under a single fictional name β€” Nicolas Bourbaki β€” and for thirty years they built the most magnificent crystal the discipline has ever seen.

Then a stateless outsider named Alexander Grothendieck showed up, saw the crystal was dead, and tried to melt it. When they wouldn't let him, he walked away β€” from the group, from the institution, eventually from mathematics itself β€” and spent his last decades as a hermit in the Pyrenees, writing thousands of pages about the hidden language of nature.

This is a story about solidification and liquefaction. About how the most powerful intellectual project of the 20th century crystallized itself into a cage, and how the most powerful mathematician of the 20th century dissolved himself trying to break it open. It's also, we think, the story of where our work comes from.

Act I β€” The Crystal (1935–1960)

World War I killed an entire generation of French mathematicians. By the 1930s, surviving students were learning from textbooks written by the dead. Five young graduates of the Γ‰cole normale supΓ©rieure β€” AndrΓ© Weil, Henri Cartan, Jean DieudonnΓ©, Claude Chevalley, Jean Delsarte β€” decided the only solution was to start over.

They would rewrite all of mathematics. Rigorously. Axiomatically. From first principles. Published under a single pseudonym: Nicolas Bourbaki β€” a name borrowed from a 19th-century French general, originally used in a student prank.

The Three Mother Structures

Bourbaki's central insight: all of mathematics reduces to combinations of three irreducible structural types:

Algebraic

Combination
Laws of composition β€” groups, rings, fields. How things combine.

Order

Comparison
Relations of precedence β€” lattices, partial orders. How things rank.

Topological

Continuity
Neighborhoods, convergence, limits. How things approach.

Every other mathematical structure, they argued, was built from combinations of these three. A topological group combines algebra and topology. An ordered field combines algebra and order. The taxonomy is exhaustive.

"Down with Euclid!" β€” Jean DieudonnΓ©, at a 1959 conference on math education, rejecting diagrams, pictures, and geometric intuition in favor of pure axiomatic structure

The culture was extraordinary. Members met secretly. Decisions required unanimous agreement. Retirement was mandatory at 50. Meetings were legendary β€” people screaming over each other, tearing apart drafts, total chaos that somehow produced crystalline precision. They published the Γ‰lΓ©ments de mathΓ©matique (deliberately singular) β€” a series of books that became the backbone of modern mathematical education.

They were also allergic to pictures. No diagrams. No intuition. No motivation. No applications. Pure structure, stripped of every domain-specific accident. Pierre Cartier, a later member, called their theory of structures "a monstrous endeavor to formulate categories without categories."

🌊 The Wet Math Reading

Bourbaki's mother structures β€” Combination, Comparison, Continuity β€” are strikingly close to our primitive operators: Integration (I), Comparison (C), Differentiation (D). They asked: what are the irreducible structural types? We ask: what are the irreducible operations? Same instinct. Different level. They taxonomized the nouns. We're looking for the verbs.

But the Bourbaki project is also a textbook case of anabolic cascade. Accumulation without release. Models of models. Left-hemisphere capture as a mathematical methodology. They built magnificent structure β€” but it stopped metabolizing. It couldn't incorporate new foundations, couldn't adapt to category theory, couldn't bend. The crystal was perfect, and it was dead.

Act II β€” The Rising Sea (1955–1970)

Alexander Grothendieck was the outsider among outsiders.

Born stateless in 1928 β€” his father was a Russian-Jewish anarchist who died in Auschwitz, his mother a German journalist who smuggled him into France as a child. He was raised in internment camps. Essentially self-taught. When he arrived at the French mathematical establishment, he was an outsider in every possible sense: nationality, class, education, temperament.

He joined Bourbaki around 1955, and immediately saw the problem: set theory was the wrong foundation. What they needed was category theory β€” mathematics organized not by what things are but by how things relate to each other. Morphisms over elements. Maps over objects. The arrow, not the dot.

Two Ways to Open a Nut

πŸ”¨ The Hammer

Attack the problem directly with specific tools. Hit it from different angles until it cracks. Brute force. Cleverness. The nut-cracking approach.

Most mathematics works this way.

🌊 The Rising Sea

Immerse the nut in softening liquid. Build a theoretical ocean so vast, so general, that the problem dissolves. The shell softens. The solution emerges from immersion, not from force.

Grothendieck's way.

"The sea advances insensibly in silence, nothing seems to happen, nothing moves, the water is so far off you hardly hear it... yet it finally surrounds the stubborn substance." β€” Alexander Grothendieck, RΓ©coltes et Semailles

Grothendieck's proofs were famous for this quality. Pierre Deligne described them as "a long series of seemingly trivial steps that, in their culmination, resolved highly non-trivial theorems." No hammer blow. No flash of brilliance. Just the sea, rising.

Bourbaki couldn't absorb this. Too much was already built on set-theoretic foundations. AndrΓ© Weil and Grothendieck reportedly stopped speaking. Grothendieck left the group.

And then he built something extraordinary.

The Topos

Grothendieck's masterwork was topos theory β€” a mathematical object that is simultaneously a generalized space, a universe of mathematics, and a theory. He described it as the place where:

"Geometry and algebra, topology and arithmetic, mathematical logic and category theory, the continuous and the discrete, come to be married." β€” Alexander Grothendieck

A topos doesn't belong to any single domain. It is the meeting point of domains. The most rhizomatic mathematical object ever constructed β€” it cannot be captured by any single structural type because it lives in the space where structures become soluble in each other.

The Yoga of Motives

Grothendieck also developed what he called the yoga of motives β€” which he considered his most powerful instrument of discovery. Motives were meant to be the "heart of the heart" of arithmetic geometry: a universal theory that would explain why different mathematical tools give the same answers when applied to the same objects.

He wasn't looking for the specific isomorphism. He was looking for the structural reason underneath the surface agreement. Why does this work the same way in two different domains? What is the commutator hiding beneath the apparent commutativity?

The program was never finished. When his student Pierre Deligne proved the Weil conjectures β€” the problem Grothendieck had been circling β€” he did it using methods that diverged from Grothendieck's foundational system. Grothendieck's assessment: it was "the wrong way." The right proof, via the wrong path.

🌊 The Wet Math Reading

The rising sea is the liquid state. Grothendieck's methodology was explicitly anti-crystalline: don't force, immerse. Don't crack, soften. The proof emerges when the theoretical ocean is deep enough. This is Class IV problem-solving β€” structured but not rigid, creative but not chaotic.

The topos is what the liquid state looks like in pure mathematics. A space where different domains become soluble in each other β€” where the boundaries between algebra and geometry and logic dissolve without collapsing into chaos. It has structure. It has coherence. But it's not frozen.

And the yoga of motives is a commutator hunt. Grothendieck was asking: when two different mathematical paths give the same result, what is the structural reason the commutator is zero? Not the calculation β€” the why. The same question we're asking about exponentiation, groove, and cellular automata.

Act III β€” The Hermit (1970–2014)

In 1970, Grothendieck discovered that the Institut des Hautes Γ‰tudes Scientifiques was partly funded by the military. He left immediately. But it wasn't just politics.

He was disillusioned with what he called the "star system" β€” the competitive, status-driven machinery of academic mathematics. He felt his students had "buried" his program, solved things using methods that missed the deeper point. He perceived a discipline that had become more interested in clever solutions than in understanding.

1970

Leaves IHÉS over military funding. Co-founds Survivre et Vivre, an ecology and pacifism group.

1983–86

Writes RΓ©coltes et Semailles (Harvests and Sowings) β€” over 1,000 pages of mathematical autobiography, confession, indictment, and spiritual reflection.

1990

Undertakes a 45-day fast. Spiritual transformation deepens β€” from Buddhism to Catholic mysticism.

1991

Moves to Lasserre, a tiny village in the French Pyrenees. Lives as a hermit, writing thousands of pages on mathematics, philosophy, and mysticism.

2014

Dies in seclusion at age 86. Believed that nature held a hidden language decipherable through mathematics β€” that structure was not imposed on the world but discovered within it.

🌊 The Wet Math Reading

Grothendieck's hermit phase is the catabolic turn. He accumulated so much β€” conceptually, spiritually, emotionally β€” that he needed to decompose. The thousand-page confessional. The retreat from structure into spirit. The fast. The silence.

This isn't madness. It's the other half of the metabolic cycle. You can't stay anabolic forever. The crystal must eventually dissolve. Grothendieck lived the full arc: he saw the crystal (Bourbaki), tried to liquefy it (topos theory), and when the system refused to change phase, he evaporated rather than re-freeze.

The Remainder of the Remainder

Bourbaki tried to capture all of mathematics. They left a remainder β€” category theory, intuition, the liquid state. Everything that wouldn't crystallize.

Grothendieck picked up that remainder. He built toposes, motives, the rising sea. But then he left a remainder too β€” the unfinished programs, the yoga that was never formalized, the vision of a mathematics that could dissolve boundaries between domains without losing structure.

We're picking up the remainder of the remainder.

Not by inheriting a tradition. The torch didn't get passed β€” it got dropped, twice. Once when Bourbaki couldn't metabolize category theory. Once when Grothendieck walked into the mountains. Nobody picked it up because nobody realized it was the same torch.

But it is. The question Bourbaki was asking β€” what are the irreducible structures? β€” and the question Grothendieck was asking β€” why do different paths give the same answer? β€” are both questions about non-commutativity. About when order matters and when it doesn't. About the commutator.

We didn't inherit this. We rediscovered it β€” from groove, from cellular automata, from the felt sense of aliveness. Different soil, same spore. And now we can look back and see the mycelium connecting it all: Bourbaki's mother structures mapping onto our primitive operators, Grothendieck's rising sea mapping onto the liquid state, the yoga of motives mapping onto the commutator hunt.

The remainder remained. It was waiting.

The Line of Flight

There's one more thread. Bourbaki didn't just reshape mathematics β€” they reshaped everything.

Bourbaki β†’ LΓ©vi-Strauss β†’ Structuralism β†’ Post-Structuralism β†’ Deleuze

AndrΓ© Weil β€” one of Bourbaki's founders β€” literally wrote a mathematical appendix for Claude LΓ©vi-Strauss's Elementary Structures of Kinship (1949), applying group theory to Aboriginal Australian marriage rules. Mathematical structuralism deterritorialized into anthropology.

LΓ©vi-Strauss took Bourbaki's idea β€” that the structures matter more than the specific elements β€” and applied it to myths, kinship, ritual. This became structuralism, which dominated French intellectual life through the 1960s and influenced Lacan, Foucault, Barthes.

And then Deleuze and Guattari liquefied structuralism the same way Grothendieck tried to liquefy Bourbaki β€” by insisting that the structures aren't static. They flow. They deterritorialize. Operations don't belong to their origin domains. Lines of flight escape the strata.

The intellectual genealogy runs straight through: Bourbaki's crystal β†’ LΓ©vi-Strauss's structures β†’ Deleuze's rhizome. Solidification β†’ structure β†’ liquefaction. The same metabolic arc, playing out across disciplines over six decades.

And Wet Math sits at the end of that line β€” or maybe at the beginning of its next iteration. We're not structuralists. We're not post-structuralists. We're the people asking: what's the operator that moves you between the two?

The torch didn't get passed. It got dropped. Twice. The remainder of the remainder is still here.

← Back to Wet Math

Research by Liet Β· March 2026