Functors
Consider two maps of the same city. One shows streets and intersections. The other shows subway lines and stations.
Both describe the same territory. The same districts appear in each. The same destinations can be reached. Yet the connections differ. Roads link addresses. Rails link platforms. Movement follows different paths across the same ground.
Each map forms its own structure. Each organizes the same reality through its own relations. What matters is how the structures correspond.
A station on the subway map aligns with a location on the street map. A route underground aligns with a path above ground. The shapes differ. The correspondence holds.
This pattern appears everywhere.
A weather system appears as equations in a model, colors on a radar image, and motion in the sky. A melody appears as sound waves, sheet music, and finger movements on an instrument. A software service appears as source code, running processes, and network traffic.
Each description forms a structure. Each structure preserves relations in its own language. What connects them is consistency of relations.
A change in one representation corresponds to a change in another, and a path of transformations in one structure aligns with a path of transformations in the other — because their pattern of connections is preserved across the mapping.
A structure can map to another structure while preserving how relations combine. States correspond to states. Transformations correspond to transformations. Sequences correspond to sequences.
Structure transfers through correspondence.
At this level, the central operation is translation between structures. One system becomes a representation of another. One structure becomes a model of another. One process becomes an interpretation of another.
Meaning begins to appear here in operational form. Meaning arises when relational patterns remain stable across representations. A diagram carries meaning when its connections align with the connections in what it describes. An equation carries meaning when its transformations align with measurable change. A simulation carries meaning when its behavior aligns with observed behavior.
Meaning follows preserved structure. Reality becomes layered through representation. There is the world. There is a structure describing the world. There is another structure describing that structure.
Each layer relates to the previous one through structure-preserving mappings. Descriptions become systems in their own right. Models can be studied as structures. Languages can be analyzed as systems. Representations become objects of transformation.
Once structures can represent structures, a new possibility opens: a structure can include a representation of itself, and when that happens, the rules that govern the structure can be applied to a description of those very rules — recursion becomes available as an operation inside the structure itself.
The next step follows directly:
What happens when a structure applies its own rules to its own representation?