Rikai Funo · Track 3 · middle

Ode to Topos Theory

A topos is a category that behaves like a universe of sets — but you can have a topos where the law of excluded middle fails, where a statement is neither true nor false, where logic itself bends to the underlying geometry. Grothendieck invented them to solve number theory. An ode to the mathematical multiverse: alternative logical universes running on different axioms, each internally perfect and mutually incompatible.

Lyrics

Bures-sur-Yvette. Autumn, 1963.
The seminar room smells of chalk dust and old tobacco.
You were just trying to build a better space for geometry.
A sheaf of rings, a site.
A category that behaves like sets, but... gentler.
More pliable.
Something that could hold the Weil conjectures.

But you drew the diagram for the subobject classifier.
And you called it Omega.
And it wasn't just two points, zero and one.
It had a topology. A shape.
And in that shape, the law collapsed.
A is not not-A.
The middle is no longer excluded.
The single world cracks into a thousand internally perfect logics.

A proposition is a sheaf now.
True on this open set, false on that one.
And in the intersection... what is it?
Neither. Both. Something else.
Grothendieck, what did you see at the board in SGA 4?
Did you feel the floor give way?
Did you realize you'd made truth local?
A function of where you stand.

But you drew the diagram for the subobject classifier.
And you called it Omega.
And it wasn't just two points, zero and one.
It had a topology. A shape.
And in that shape, the law collapsed.
A is not not-A.
The middle is no longer excluded.
The single world cracks into a thousand incompatible, perfect logics.

And all of this... this shattering...
Just to count points on a curve.
The sheer, brutal force of the abstraction.
To build a multiverse to solve a riddle.
Do you ever want to go back?
To a world where a thing is true or it is not?
To a universe with only one set of rules?

The chalk dust settles.
On the board, a million universes bloom.
Each one a topos.
Each one consistent.
Each one... alone.
And the heating system just hums.