definition · fr-3-definition-9-1
Certificate-bearing strictifier datum
Definition in the source manuscript fusion-reconstruction
On this page
Statement
A datum is a pair : a finite strictifier and a boundedly invertible graph equivalence to its strictified presentation, with and . Its distortion is .
Meaning and scope
The relational repair travels with the analytic certificate that proves it preserves the operation.
Example
An already strict presentation with the identity and has distortion one.
Source
Paper 3, Definition 9.1. Frozen manuscript — research note, not peer reviewed.
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.
Referenced by
No source-verified relations recorded yet.
Points to
No source-verified relations recorded yet.