Relational System Charter
What this is
A RelationsSystemCharter is a GenerativeUniverseClosureCharter within a RelationsSystem.
A RelationsSystemCharter MUST satisfy all requirements of RelationsSystemBlueprint.
In R = Sh(T, J), a charter is a node whose scope has been equipped with a Grothendieck topology: the pair (C_ℓ, J|{C_ℓ}) where C_ℓ is the subscope category and J|{C_ℓ} is the restriction of the ambient covering topology to that subscope. The node is now a syntactic site rather than merely a syntactic category.
This is Caramello’s second level in the three-level sequence:
- Geometric theory (syntactic category) — RelationsSystemBlueprint
- Syntactic site (C, J) — the RelationsSystemCharter
- Classifying topos Sh(C, J) — RelationsSystemLocale
What a Grothendieck topology means at the scope level
A Grothendieck topology J|_{C_ℓ} on the subscope assigns to each object t ∈ C_ℓ a collection of covering sieves: families of morphisms into t that count as “covering” t from below. In the relational hyperverse, these covering sieves correspond to the agent community declared for this scope — the agents whose operations constitute valid coverings of the locale’s work.
Without J|_{C_ℓ}, the subscope is a site without coverings. The sheaf condition — compatible sections on covering families glue to a unique global section — cannot be enforced because no families are designated as covering. A charter establishes this designation.
A RelationsSystemCharter MUST have a Grothendieck topology declared on its subscope. The covering structure MUST be declared before any governing-principles content is written for this scope.
The holographic picture
With the site structure (C_ℓ, J|{C_ℓ}) in place, the holographic projection Stab : H → H* becomes well-defined for this scope. The boundary H*|{C_ℓ} = Fix(σ) ∩ Fix(Δ) restricted to the subscope can be identified. The construction-observation pairing ⟨-,-⟩ : H* × (H∨)* → Ω is applicable within the scope.
What has not yet happened: live sections from outside have not yet arrived and been glued. The sheaf Sh(C_ℓ, J|_{C_ℓ}) is defined but not yet accumulating content. That is condition 7 — the RelationsSystemLocale.
Open questions
- The exact categorical operation by which a subscope topology is declared and how it relates to the ambient topology J on T.
- Whether every RelationsSystemCharter has a canonical embedding into the ambient Sh(T, J) as a subsite.