Manuscript XIX-C@1 · XIX-C.tex · lemma · 98b067d9
Lemma: Fiber criterion
Records, residual source functionals, and token acquisition › The factorization criterion · lines 421–433 · proof included or linked
XIX-C@1#lem:fibers
For maps and , a map with exists if and only if is constant on every fiber of .
Proof. A composition with is constant on fibers. Conversely, define . Fiber constancy makes this independent of the representative.