Good read. Your connection to type theory, and in a broader sense, category theory is spot on. Just as lambda calculus redefines "things" as bundles of responsive behaviors rather than static truths, category theory models reality through functors and natural transformations that capture universal patterns of relation. If you are familiar with Houellebecq's "The Map and the Territory", type/category theory renders the territory indistinguishable from the maps that navigate it.
Ultimately, it suggests that what we perceive as essence (territory) is illusory, superseded by relational dynamics (maps), where computation and structure are performative acts of interdependence rather than objective fixtures. This shifts ontology from substance to process, blurring representation and reality.
All is but a unified, adaptive flow.
