Objects and Arrows / Category Theory

The founding constraint

Most ways of understanding a thing start by opening it up: what is it made of, what is inside? Category theory starts by forbidding that question. It says: you may not look inside an object. You may only see the arrows — the structure-preserving ways one object maps to another. Whatever you want to know, you must reconstruct from the pattern of arrows alone.

This sounds like a crippling handicap. It turns out to be a superpower. By refusing to look inside, category theory captures exactly what is common to wildly different things — because the insides are what differ, and the arrows are what they share.

What a category is

The machinery is almost insultingly simple. A category is just two kinds of thing and one rule:

Objects — dots, whose internal nature we agree to ignore.
Arrows (or morphisms) — connections from one object to another, the relationships that respect whatever structure is in play.
Composition — the rule that arrows chain: if there is an arrow from A to B and one from B to C, there is a composite arrow straight from A to C.

Add two housekeeping conditions — every object has an identity arrow to itself, and composition does not care how you group it — and that is the whole definition. Everything else in this vast subject is built from dots, arrows, and the fact that arrows compose.

Why composition is the heart

The quiet star here is composition. It is the formal statement that relationships chain — that connections combine into further connections, predictably. A route from home to the station and one from the station to work compose into a route from home to work. A function feeding into another function composes into a single function. Cause leading to effect leading to effect composes into cause-to-final-effect.

Composition is what makes a collection of arrows into a structure rather than a heap of disconnected links. It is the rule that lets local relationships build into global ones, and it is the reason a category can describe anything that has parts connected in ways that combine.

A category is the minimal mathematics of “things connected by relationships that chain.” Almost everything is that, which is why category theory is about almost everything.

The dot defined by its arrows

The strangest and most important consequence of the founding constraint is what happens to the objects. Forbidden to look inside, you come to know each dot entirely by its arrows — what maps into it, what it maps out to, how those compose. The object stops being a thing with contents and becomes a position in a web of relationships.

This is not a loss of information. It is a discovery that, for everything that matters structurally, the web of relationships was the information. The “inside” you were forbidden to look at turns out to be irrelevant to every structural question — and category theory’s wager is that the structural questions are the deep ones.

Why start a topic here

We did not arrive at this arbitrarily. The previous topic ended by noticing that the transferable part of decision-making was structure — relationships between options, stripped of the objects. Category theory is what you get when you take that noticing and make it the foundation of everything: a mathematics whose primitive notion is the arrow, the relationship, and whose objects are mere endpoints.

It is the most abstract subject in mathematics precisely because it threw away the most: it kept only relationship and composition, and discarded everything else. The next essays follow what that radical subtraction reveals — first, that an object really is nothing but its relationships, a claim with consequences far outside mathematics.