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

Back to manuscript

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.

Nearby in this section