definition · DEF-GATVIII-05

Certificate Refinement Class

source-verified gat
On this page

Meaning

The certificate refinement class consists of changes that refine how a fixed intrinsic datum or passage is certified.

GAT VIII denotes these changes by W_cert. The intrinsic reduction formally inverts them only with the stated common-refinement and coherence properties, so that the certificate choices can be removed without changing the underlying comparison geometry.

Example (illustrative)

Two proofs of the same admitted passage may both be represented on a common finer certification demand. When the required coherence conditions hold, that common refinement explains why the two certificate presentations describe one intrinsic passage.

Scope and limits

Changing substantive physical data is not a certificate refinement. The justification must work for passages and composition, not only for isolated objects.

Source

GAT VIII — Indexed Admissible Distributors and Selected Cofinal Čech Transport in Semisimple Yang–Mills Theory. GAT VIII, Section 4–5.

Bidirectional research graph

Where this object sits in the mathematics

Incoming and outgoing relations are generated from the same typed graph used by paper pages. Nothing is inferred from title similarity or prose alone.

Open full research graph →

Referenced by

Defined in

Depended on by

Points to

Specializes