Record: THM-RENORM-COMMON-REFINEMENT-DESCENT
Source result: Theorem V.3.
Status: Proved.
Catalog summary
If common-refinement-equivalent raw arrows induce the same carrier map, the raw functor descends uniquely to
Why it matters
The quotient removes auxiliary presentation data. It is the exact categorical step turning a functor on raw refinements into a presentation-independent renormalization transport system.
Read source manuscript. Research manuscript — not peer reviewed.