Statement
Assume a directed route-pair system with compatible isometric source, target, and retained transports; finite and total kernel inclusions; a dense algebraic total source; compatible comparison factorizations; one uniform mixed relative-coercivity constant; closable total comparison retention; and compatible closed total assembly with the retained image in its domain. Then the induced total comparison
Meaning and scope
The hypotheses retain the route comparisons through totalization without first requiring strictification. Their analytic totalizations are explicit assumptions.
Source
Paper 4, Theorem 6.3. Draft manuscript — compile-audit version; not marked frozen.