Mathematical foundations
Canonical Minimal Source Completion: The Coarsest Readout Extension on which a Nominated Family of Source Relations Becomes Well Defined
The coarsest extension carrying a nominated family of source relations.
Jeremy Rodgers · Independent Researcher · 2026-07-15
The complete argument.
Read every section on site, including the mathematics, proofs, examples and references. Each section has its own address for citation and navigation.
- 01Abstract
- 02Introduction
- 03Reduced source, readout, and the nominated relation family
- 04The joint-image construction and its quotient realization
- 05The category of relation-sufficient extensions
- 06The canonical minimal-completion theorem
- 07Redundant and indispensable relation coordinates
- 08Nested families, refinement maps, and reparameterization
- 09Completion determined by a family of target answers
- 10The gauge-reduction boundary
- 11The topological universal property
- 12Worked example: flat U(1) connections on the circle
- 13The exact scope of reconstruction
- 14Discussion and scope
- 15Conclusion
- 16References
Publication and computational material.
Original PDFOriginal LaTeX sourceComplete searchable textReading inventoryMathematics is rendered as HTML and MathML from the supplied LaTeX source.