pith. machine review for the scientific record. sign in
module module high

IndisputableMonolith.RRF.Foundation.VantageCategory

show as:
view Lean formalization →

VantageCategory equips each vantage with a category whose objects are states and morphisms are transitions, with the strain functional J assigning costs. Researchers building the RRF foundational layer cite it to organize state transitions under balance deviation. The module composes the imported Vantage and Strain definitions into this categorical setting as a pure definition block.

claimEach vantage forms a category whose objects are states and whose morphisms are transitions, equipped with the strain functional $J$ that assigns a cost to each state.

background

The module introduces the category of states within a vantage, with objects as states, morphisms as transitions, and the strain functional J assigning costs. It rests on the Vantage module, which identifies three perspectives on any phenomenon: Inside (subjective/qualia), Act (dynamic/process), and Outside (objective/physics). The Strain module supplies the measure J of deviation from equilibrium, where J approaching zero encodes the law of balance and lower strain corresponds to greater consistency.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

VantageCategory supplies the categorical organization of states and transitions that the RRF.Foundation module imports when constructing the MetaPrinciple axiom, constants derived from phi, and the double-entry Ledger. It places the strain cost J at the center of vantage structure within the foundational layer of the Reality Recognition Framework.

scope and limits

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (23)