Relational coalgebras are the structures that stabilize under the modal operators produced by composing Flow and Nucleus. Where algebras absorb structure (a map into themselves), coalgebras emit structure (a map out of themselves). In the derivation, coalgebras correspond to what persists under observation and transformation — the geometric objects of the relational field.
In standard mathematics, a coalgebra for an endofunctor F is an object X with a map X → F(X) — a way of unfolding X one step. For a comonad (an endofunctor with counit and comultiplication), coalgebras are objects equipped with a compatible unfolding. Coalgebras for comonads on a topos correspond to spaces: they are the “geometric” objects, dual to the “logical” objects (algebras for monads). Earlier formulations of relationality explicitly constructed the CoKleisli category of the modal comonad and identified its coalgebras as relational spaces.
The derivation arrives at coalgebraic structure through the following chain:
- Flow and Nucleus commute (steps 15-16), and their composites Nucleus∘Flow and Flow∘Nucleus are idempotent — modalities.
- The necessity-like composite Nucleus∘Flow is comonadic: it comes equipped with a counit (extracting a value) and comultiplication (duplicating context). This follows from its construction as a composite of two commuting closure-like operators.
- A coalgebra for this comonad is a structure X with a map X → (Nucleus∘Flow)(X) — an unfolding that is compatible with both consolidation and transformation. Such a structure survives repeated application of the modal operator: it is stable under the joint action of dynamics and closure.
- Profiles are the maximal coalgebras: structures so stable that they reconstruct the full derivation internally. Sub-profiles are smaller coalgebras — partial views that remain consistent under the comonad.
Coalgebras connect the derivation to the geometric side of topos theory. Where the Heyting algebra provides the logical aspect (propositions, entailment, constructive proof) and sheaf semantics provides the model-theoretic aspect (local-to-global consistency), coalgebras provide the spatial aspect — what it means for something to occupy a position in the relational Geometry and persist there under transformation and observation.