theorem · fr-2-theorem-2-7

Core Reconstruction Bifunctor

Result stated and proved in the source manuscript; website restatement fusion-reconstruction

Statement

Assume for all source enlargements. Then defines a strict bifunctor . Source-exposure maps are injective, and source exposure commutes exactly with continuation reduction.

Meaning and scope

This is an algebraic result. Commuting quotient maps do not guarantee analytic admissibility of every corner.

The paper page includes the reader corrections accompanying this edition.

Source

Paper 2, Theorem 2.7. 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.

Open full research graph →

Referenced by

No source-verified relations recorded yet.

Points to

No source-verified relations recorded yet.