This appendix uses categorical lens theory (Fong & Spivak, 2019; Riley, 2018) to formalize the sensor–instrument loop as an adjunction between two categories. The categorical machinery is standard; applying it to model experience and formalism as interacting lenses is the framework’s contribution. The adjunction and its triangle identities are well-established mathematical structures—the claim is that the loop satisfies them, not that they were invented here.
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 define experience as a structural, perspectival interaction between a sensor and its environment.
Definition: An Exp-Object is a Lens L = (S, A, V, E) where:
- S 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: S → V (the current perspective) and put: S × E → S (how new evidence 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.
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 claim is that I and S form an Adjunction:
HomForm(I(X), Y) ≅ HomExp(X, S(Y))
The Triangle Identity as the Pulse
For the loop to be an adjunction, the Triangle Identities must hold: S(ϵ) ∘ ηS = idS and ϵI ∘ I(η) = idI.
Epistemological Translation: If you have an intuition (η), formalize it (I), then ground it back in experience (ϵ), the result should return to your original state of understanding. If the result is not the identity, the loop is Noisy (misunderstanding) or Dead (no grounding occurred).
4. Recognition as the Non-Trivial Unit
The Recognition Map (η): idExp → S ∘ I. Recognition is not just I (formalizing). It is the composite S ∘ I.
A “Dense Loop” is an adjunction that remains tightly coupled across the interface. In a “Dead Speech” scenario, the map S is broken or trivial, meaning:
S ∘ I ≠ idExp
The round trip fails. The formal system outputs words, but the sensor’s state is not updated causally by those words.
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, the information flow is blocked. If they are aligned, the adjunction becomes an Equivalence of Categories, and truth circulates perfectly between the living being and the reasoning machine.