Relationships Over Things / Category Theory

A thing is its connections

The last essay forbade looking inside objects and promised the loss was not real. Here is why. Category theory contains a result — the Yoneda lemma — whose technical statement is dry and whose meaning is extraordinary: an object is completely determined by the totality of its relationships to all other objects.

Spelled out: if you know every arrow into a thing (or every arrow out of it), and how those arrows compose, you know the thing completely. Two objects that relate to everything else in exactly the same way are not merely similar — they are, for every purpose, the same object. There is no further fact about what they “really are” hiding behind the relationships.

Identity is relational

This is a claim about identity itself, and it cuts against a deep intuition. We tend to think a thing has an inner essence — a core of what-it-is that it would keep even if everything around it vanished. Category theory says: there is no such core, or rather, the core is not inside the thing at all. It is the pattern of how the thing stands in relation to everything else.

Consider the number five. What is it? Not a private essence hidden in some Platonic vault. Five is the thing that comes after four and before six, that adds to seven to make twelve, that counts these fingers. It is a position in the web of arithmetic relationships — and that position, completely specified, leaves nothing more to know. “Five-ness” is not a substance. It is a role.

Tell me how something relates to everything else, completely, and I have not described the thing — I have given you the thing. There is no residue.

The structuralist turn

This is the rigorous form of an idea that has surfaced in every topic so far. Value, we said, was not in the object or the mind but in the relation between them. Decisions transferred because their structure — relations among options — carried the meaning, not their content. Now the most abstract mathematics we have says the same thing about existence itself: to be is to stand in relations, and the relations are not added on top of the thing; they are constitutive of it.

It is a quiet revolution in how to think about anything. Stop asking “what is this, in itself?” — a question that may have no answer — and ask instead “how does this relate to everything around it?” The second question is always answerable, and its complete answer is everything the first question was reaching for.

Why this is liberating, not deflating

It can sound like a loss: things have no inner depth, only a web of connections. But flip it. It means identity is legible — fully available in the pattern of relationships, not locked in an unreachable essence. It means a thing can be understood completely from the outside, by mapping how it connects. And it means that what a thing is made of is, for every structural purpose, irrelevant: what matters is the role it plays, and a role can be played by many different materials.

That last point is not a footnote. If identity is relational and roles are substrate-indifferent, then the same structure can be realized in utterly different stuff and be, in every way that matters, the same. A pattern does not care what it is printed on.

That is the next idea, and it is the one that lets this abstract mathematics reach all the way out to minds, media, and the question of what makes anything — or anyone — itself.