This appendix borrows categorical lens theory (Fong & Spivak, 2019; Riley, 2018) to describe the sensor–instrument loop as an adjunction between two categories. The description is a structural analogy, not a derivation. The appendix names the functors I and S but never defines them on morphisms, so no identity below can be checked against a real loop.
1. The Category of Experience (Exp)
A persistent challenge is defining the category of experience without falling into the hard problem of subjective qualia. This section uses lens theory (Fong & Spivak, 2019) to model experience as a structural, perspectival interaction between a sensor and its environment.
Definition: An Exp-Object is a Lens L = (Σ, A, V, E) where:
- Σ is the State Space of the Sensor (current perception, context).
- A is the Action Space (questions asked, experiments run).
- V is the View Space (what the sensor currently “sees”).
- E is the Evidence Space (new sensory feedback).
The “Experience” is a Pair of Maps: get: Σ → V (the current perspective) and put: Σ × (A × E) → Σ (how evidence, paired with the action that produced it, updates the internal state).
2. The Category of Formalism (Form)
A Form-Object is a formal system or reasoning instrument—also a Lens (K, Q, Ω, P) where K is the Knowledge Base, Q is the Query Space, Ω is the Output Space, and P is the Parametric Space. Its maps mirror §1: get: K → Ω and put: K × (Q × P) → K.
3. The Adjunction (I ⊣ S)
The Loop is the circulation between these two Lenses. We define a functor I: Exp → Form (The Instrument) and a functor S: Form → Exp (The Sensor).
The analogy casts I and S as an Adjunction:
HomForm(I(X), Y) ≅ HomExp(X, S(Y))
Where I(X) (Formalization) maps an experiential lens X to its best formal representation in the category of reasoning instruments, and S(Y) (Grounding) maps a formal system Y to its experiential ground in the category of sensors.
The Triangle Identities
For the loop to be an adjunction, the Triangle Identities must hold: S(ϵ) ∘ ηS = idS and ϵI ∘ I(η) = idI.
Epistemological Translation: Every adjunction satisfies these identities, so they cannot sort loops into live, noisy or dead. In the analogy they say only that formalizing and grounding fit together. They do not say the round trip leaves the sensor unchanged; §4 places recognition in the change.
4. Recognition as the Non-Trivial Unit
The Recognition Map (η): idExp → S ∘ I. Its target, S ∘ I, is the “round trip.” Recognition is not just I (formalizing); η maps each experience into its round trip.
In the analogy, recognition is a non-trivial unit: the round trip changes the sensor through what the instrument formalized. In dead speech, grounding collapses distinctions: S sends different instrument outputs to the same experience, so the instrument’s words cannot change the sensor’s state.
5. Summary: Epistemology as Lens Composition
By using Lenses, we move the framework from “What does truth feel like?” to “How do systems of interaction compose?”
The Pulse is the periodic composition of these Lenses. If the Lenses are misaligned (poorly designed human-AI interface), the information flow is blocked. If they are aligned, the round trip closes — the sensor recognizes what the instrument formalizes — and truth circulates between the living being and the reasoning machine. Alignment does not mean the two categories collapse into an equivalence: as the Asymmetric Synergy Bound shows, what makes a loop sterile is not equivalence of kind but an echo — one partner a function of the other, carrying zero synergy. An exact equivalence (α = 0) costs something else: it erases the split between a generating partner and a constraining one that articulation needs. The productive loop is an adjunction with a non-collapsing grounding S — partners different in kind, not an equivalence that erases the difference.